„Formal Specification Level“

Suchergebnisse

6 Treffer

• On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
  Körner, Philipp ; Leuschel, Michael ; Idani, Akram 2023 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
• Formal Specification Level – Concepts, Methods, and Algorithms
  Soeken, Mathias ; Drechsler, Rolf 2015 Springer International Publishing
• Specification analysis for system-level power-aware ASIC design
  Lemma, David ; Drechsler, Rolf ; Keszöcze, Oliver 2021 Staats- und Universitätsbibliothek Bremen
• DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
  Paillet, Jean-Luc ; Giambiasi, Norbert
• Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
  Dghaym, Dana ; Dalvandi, Mohammadsadegh ; Poppleton, Michael ; Snook, Colin
• Formal specification level – concepts, methods, and algorithms
  Soeken, Mathias