Supporting design and developement of safety critical applications by model based tools

MaRDI QIDQ3653844zbMATH OpenFDO

Authors

Publication date 29 December 2009

zbMATH Keywords

event triggered state-based systems

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Verification of a radio-based signaling system using the STATEMATE verification environment
• A formal approach for the construction and verification of railway control systems
• A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
• scientific article; zbMATH DE number 2033511
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(2)

• scientific article; zbMATH DE number 2080011 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Supporting design and developement of safety critical applications by model based tools

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