„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
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Exploring a Quantum Programming Language with Concurrency
  Jain, Manisha ; Fernandes, Vitor ; Madeira, Alexandre ; Barbosa, Luís Soares 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• High-level net semantics of a real-time prototyping language
  Krämer, Bernd ; Luqi ; Bērziņš, Valdis Andris 1991 GMD
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Leveraging applications of formal methods, verification and validation
  2014 Springer
• Leveraging applications of formal methods, verification and validation
  2014 Springer