- Tytuł:
- Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
- Autorzy:
-
Grobelny, M.
Grobelna, I. - Data publikacji:
- 2010
- Słowa kluczowe:
-
diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking - Pokaż więcej
- Dostawca treści:
- BazTech