The dynamic checking of complex real time system

DOI10.1007/BF02836658MaRDI QIDQ5492511zbMATH OpenOpenAlexFDO

Authors Chao Yu, Benwen Huang, Guoqing Wu

Publication date 13 October 2006

Published in Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02836658

zbMATH Keywords

dynamic execution model

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Model Checking Real-Time Systems
• Model-checking for real-time systems
• An iterative approach to verification of real-time systems
• Model-checking in dense real-time
• Real-time verification techniques for untimed systems
• scientific article; zbMATH DE number 5181779
• An engineering process for the verification of real-time systems
• An automatic technique for checking the simulation of timed systems
• Analysis of checkpointing for real-time systems

Cited in

(1)

• Requirements specifications checking of embedded real time software

This page was built for publication: The dynamic checking of complex real time system

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