Implementatie van een algoritme voor de herziening van de overtuiging met behulp van begrensde modelcontrole op ACTL
versiegeschiedenis
- Versie N/A geplaatst op 2011-07-24
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-07-24
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: br-bmc.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: linux