Real-Time Systems
From MaRDI portal
Publication:5900383
DOI10.1017/CBO9780511619953zbMath1161.68030OpenAlexW4251166607MaRDI QIDQ5900383
Henning Dierks, Ernst-Ruediger Olderog
Publication date: 9 October 2008
Full work available at URL: https://doi.org/10.1017/cbo9780511619953
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (11)
On Implementable Timed Automata ⋮ Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ Ernst-Rüdiger Olderog: A Life for Meaning ⋮ An application of temporal projection to interleaving concurrency ⋮ A decidable timeout-based extension of linear temporal logic ⋮ Structural transformations for data-enriched real-time systems ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Compositional reasoning using intervals and time reversal ⋮ A menagerie of timed automata ⋮ Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
Uses Software
This page was built for publication: Real-Time Systems
