Development of safety-critical real-time systems

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

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

Publication date: 17 July 2024

Mathematics Subject Classification ID

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

Cites Work

• Hybrid systems
• A calculus of durations
• Extending Hoare logic to real-time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)