Rezultaty 1 - 3 Rezultaty od 3 Dla wyszukiwania '"Model checking"', Czas wyszukiwania: 0,23s Redukuj rezultaty
1
Heuristic-guided abstraction refinement /
Hasła przedmiotowe: “...Model checking...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Dodaj do listy ulubionych książek
Zapisane w:
2
Reachability analysis of augmented marked graphs via integer linear programming /
Hasła przedmiotowe: “...Model checking...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Dodaj do listy ulubionych książek
Zapisane w:
3
ESpin: Analyzing Event-Driven Systems in Model Checking
od Tran, Nhat Hoa
Wydane 2023
Hasła przedmiotowe: “...Model checking techniques...”
Thư viện lưu trữ: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Dokumenty pełnotekstowe
Dokumenty pełnotekstowe
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem — Zapisz wyszukiwanie