Advanced features of duration calculus and their applications in sequential hybrid programs

DOI10.1007/S001650300001MaRDI QIDQ706508zbMATH OpenOpenAlexFDO

Authors Jifeng He, Qiwen Xu

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

zbMATH Keywords

VerificationHybrid systemsSemanticsDuration Calculus

Mathematics Subject Classification ID

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)

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Duration calculus: Logical foundations
• Duration calculus. A formal approach to real-time systems.
• Real-time systems development with duration calculi: an overview.
• Towards a denotational semantics of timed RSL using duration calculus

Cited in

(12)

• Theoretical Aspects of Computing - ICTAC 2004
• Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
• Towards a denotational semantics of timed RSL using 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
• scientific article; zbMATH DE number 1670495 (Why is no real title available?)
• 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)