BR-BMC

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

Over BR-BMC

Implementatie van een algoritme voor de herziening van de overtuiging met behulp van begrensde modelcontrole op ACTL