Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
Format:
Electronic Resources
Alıntı:
: from language design to verification and analysis techniques, to supporting tools and their integration
View Other Search Results
Yazar
Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106
Format:
Electronic Resources
Alıntı:
Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
promote research and development for the improvement of formal methods and tools for industrial
Arama Sonuçlarını Sınırlandır
Daraltılmış: