- Tytuł:
- A New Approach to Model Checking of UML State Machines
- Autorzy:
-
Niewiadomski, A.
Penczek, W.
Szreter, M. - Data publikacji:
- 2009
- Słowa kluczowe:
-
UML
bounded model checking
symbolic verification - Pokaż więcej
- Dostawca treści:
- BazTech