Modelling Systems
From MaRDI portal
Publication:5322613
DOI10.1017/CBO9780511626975zbMath1185.68244OpenAlexW4232057538WikidataQ57733786 ScholiaQ57733786MaRDI QIDQ5322613
No author found.
Publication date: 21 July 2009
Full work available at URL: https://doi.org/10.1017/cbo9780511626975
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Related Items (5)
ASM-based formal design of an adaptivity component for a cloud system ⋮ Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Domain science and engineering from computer science to the sciences of informatics. I: Engineering ⋮ An Institution for Imperative RSL Specifications ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
This page was built for publication: Modelling Systems
