Yazar
Cyrille Artho
2 cilt bulundu.
Cilt sonuçları
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky · Springer International Publishing AG
268 sayfa · 2014
System failures (engineering) / Systems engineering / Formal languages / Software engineering / Computer science
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled · Springer
541 sayfa · 2016
Artificial intelligence / Automatic theorem proving