- Tytuł:
- ROSECON: a Computer Tool for Synthesis and Verification of Concurrent Systems Specified by Information Systems
- Autorzy:
-
Suraj, Z.
Pancerz, K. - Data publikacji:
- 2013
- Słowa kluczowe:
-
computer systems
computer software
automation
Petri nets - Pokaż więcej
- Dostawca treści:
- BazTech