- Tytuł:
- Comparing SAT- and SMT- based bounded model checking for Ectl properties
- Autorzy:
- Zbrzezny, A. M.
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł