„semantics prototyping“
Suchergebnisse
8 Treffer
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
-
Exploring a Quantum Programming Language with Concurrency
-
Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
-
High-level net semantics of a real-time prototyping language
-
Leveraging applications of formal methods, verification, and validation
-
Leveraging applications of formal methods, verification, and validation
-
Leveraging applications of formal methods, verification and validation
-
Leveraging applications of formal methods, verification and validation