- Tytuł:
-
Timed concurrent state machines
Współbieżne maszyny stanowe z czasem - Autorzy:
- Daszczuk, W. B.
- Data publikacji:
- 2007
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł