Modeling and Verification of High-Assurance Properties of Safety-Critical Systems

DOI10.1093/COMJNL/44.6.504zbMath1011.68064OpenAlexW2009147130MaRDI QIDQ4551641

Jeffrey J.-P. Tsai, Eric Y. T. Juan

Publication date: 28 August 2002

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/44.6.504

zbMATH Keywords

safety-critical systemsmultiset labeled transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Modeling and Verification of High-Assurance Properties of Safety-Critical Systems