Development of safety-critical real-time systems

DOI10.1007/3-540-60609-2_11zbMATH Open1542.68098MaRDI QIDQ6573928FDOQ6573928

Authors: Hans Rischel, Jorge Cuellar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber 

Publication date: 17 July 2024

Recommendations

• Transformational design of real-time systems. I: From requirements to program specifications
• Real-Time Systems
• scientific article; zbMATH DE number 1487946
• Real-time systems development with duration calculi: an overview.
• scientific article; zbMATH DE number 177509

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) System identification (93B30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of durations
• Hybrid systems
• Extending Hoare logic to real-time
• Title not available (Why is that?)

This page was built for publication: Development of safety-critical real-time systems

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