Formal Semantics of a VDM Extension for Distributed Embedded Systems
From MaRDI portal
Publication:5187826
DOI10.1007/978-3-642-11512-7_10zbMath1274.68191OpenAlexW1491350228MaRDI QIDQ5187826
J. J. M. Hooman, Marcel Verhoef
Publication date: 9 March 2010
Published in: Concurrency, Compositionality, and Correctness (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11512-7_10
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items
Uses Software
Cites Work
This page was built for publication: Formal Semantics of a VDM Extension for Distributed Embedded Systems