Real-time systems development with duration calculi: an overview.

DOI10.1007/B11934MaRDI QIDQ5900548zbMATH OpenOpenAlexFDO

Authors Dang Van Hung

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Duration calculus: Logical foundations
• Duration calculus. A formal approach to real-time systems.
• Advanced features of duration calculus and their applications in sequential hybrid programs
• scientific article; zbMATH DE number 1543326
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(8)

• Duration calculus: Logical foundations
• Duration calculus. A formal approach to real-time systems.
• scientific article; zbMATH DE number 1497766 (Why is no real title available?)
• Model checking RAISE applicative specifications
• scientific article; zbMATH DE number 1852150 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004
• Development of safety-critical real-time systems
• Advanced features of duration calculus and their applications in sequential hybrid programs

This page was built for publication: Real-time systems development with duration calculi: an overview.

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