Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
View Other Search Results
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
tools for analyzing timed systems and resolving temporal constraints; applications in real-time software
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal
Arama Sonuçlarını Sınırlandır
Daraltılmış: