BR-BMC

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.5/5 - ‎2 ‎Głosów

O BR-BMC

Implementacja algorytmu rewizji przekonań przy użyciu ograniczonego sprawdzania modelu dla ACTL