An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency
From MaRDI portal
Publication:6561342
DOI10.1016/j.jlamp.2024.100973MaRDI QIDQ6561342
Huibiao Zhu, Ran Li, Richard Banach
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
verificationsimulationalgebraic semanticsshared variablesreal-time maudecyber-physical systems (CPS)
This page was built for publication: An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency