2 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00DEFAULTTR
Yazdır
1. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Electronic Resources
Alıntı: 
computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with
2. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Alıntı: 
the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol
Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope