- Tytuł:
- Comparing SAT- and SMT- based bounded model checking for Ectl properties
- Autorzy:
- Zbrzezny, A. M.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
logika drzewa obliczeniowego
system sterowania
metoda ograniczonego modelowania
computational tree logic
control system
limited modelling method - Pokaż więcej
- Dostawca treści:
- BazTech