- Tytuł:
- UML Verification with Verics
- Autorzy:
-
Niewiadomski, A.
Penczek, W. - Data publikacji:
- 2007
- Słowa kluczowe:
-
model checking
UML
unified modeling language
VerICS - Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.