Advanced features of duration calculus and their applications in sequential hybrid programs
DOI10.1007/S001650300001zbMATH Open1093.68056OpenAlexW2602326018MaRDI QIDQ706508FDOQ706508
Publication date: 8 February 2005
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650300001
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)
Cited In (12)
- Theoretical Aspects of Computing - ICTAC 2004
- Towards a denotational semantics of timed RSL using duration calculus
- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
- Duration calculus. A formal approach to real-time systems.
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Prefix and projection onto state in duration calculus
- Title not available (Why is that?)
- Compositional Hoare-style reasoning about hybrid CSP in the duration calculus
- Real-time systems development with duration calculi: an overview.
- Theoretical Aspects of Computing - ICTAC 2004
- Jifeng He at Oxford and beyond: an appreciation
- A formal model for a hybrid programming language
This page was built for publication: Advanced features of duration calculus and their applications in sequential hybrid programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q706508)
