Decomposing real-time specifications

DOI10.1007/3-540-49213-5_18MaRDI QIDQ7010065zbMATH OpenFDO

Authors Ernst-Rüdiger Olderog, Henning Dierks

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_18

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A calculus of durations
• A theory of timed automata
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Duration calculus: Logical foundations
• Formal development of reactive systems. Case study production cell
• Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, Lübeck, Germany, September 19--23, 1994. Proceedings
• scientific article; zbMATH DE number 995939 (Why is no real title available?)
• scientific article; zbMATH DE number 1001709 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Hybrid systems
• Specification and Proof in Real Time CSP
• Transformational design of real-time systems. I: From requirements to program specifications

This page was built for publication: Decomposing real-time specifications

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