- Tytuł:
- From formal methods to implementation based on Petri Nets model of concurrent systems
- Autorzy:
- Wojciechowski, J.
- Data publikacji:
- 2007
- Słowa kluczowe:
-
sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language - Pokaż więcej
- Dostawca treści:
- BazTech