- Tytuł:
- Mapping of petri net formal model of concurrent system to class model with aspect of polymorphism in object oriented paradigm
- Autorzy:
- Wojciechowski, J.
- Data publikacji:
- 2007
- Słowa kluczowe:
-
Kolorowane Sieci Petrigo
metody formalne
architektura zorientowana na model
rzutowanie
modele klas w Java
coloured Petri nets
models
model driven architecture
formal methods
mapping
Java class - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł