The formal semantics of SDL-2000: Status and perspectives.
From MaRDI portal
Publication:1400428
DOI10.1016/S1389-1286(03)00247-0zbMath1045.68087MaRDI QIDQ1400428
R. Gotzhein, Andreas Prinz, Uwe Glässer
Publication date: 13 August 2003
Published in: Computer Networks (Search for Journal in Brave)
Related Items (3)
Predictable real-time software synthesis ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ What is the natural abstraction level of an algorithm?
This page was built for publication: The formal semantics of SDL-2000: Status and perspectives.
