Formal Methods for Components and Objects
From MaRDI portal
Publication:5897131
DOI10.1007/B14033zbMath1254.68124OpenAlexW4212909638WikidataQ59640385 ScholiaQ59640385MaRDI QIDQ5897131
Dirk Pattinson, Martin Wirsing
Publication date: 9 February 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b14033
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Formal Methods for Components and Objects
