- Tytuł:
- UML Verification with Verics
- Autorzy:
-
Niewiadomski, A.
Penczek, W. - Tematy:
-
model checking
UML
unified modeling language
VerICS - Pokaż więcej
- Data publikacji:
- 2007
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Dostawca treści:
- Biblioteka Nauki
Artykuł