BR-BMC

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.5/5 - ‎2 ‎Stemmen

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