- Tytuł:
- SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
- Autorzy:
-
Woźna-Szcześniak, B.
Szcześniak, I. - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
model czasowy
logika czasowa
drzewo obliczeń
timed models
timed logic
computation tree - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł