Compositional model for formal development of real-time systems design

MaRDI QIDQ5754524zbMATH OpenFDO

Authors

Publication date 22 August 2007

zbMATH Keywords

Time Extended LOTOS

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 49713
• Compositional verification of real-time systems with explicit clock temporal logic
• An action-based formal model for concurrent real-time systems
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• scientific article; zbMATH DE number 53319

Cited in

(1)

• scientific article; zbMATH DE number 2176488 (Why is no real title available?)

This page was built for publication: Compositional model for formal development of real-time systems design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5754524)