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

DOI10.1007/S001650300001zbMath1093.68056OpenAlexW2602326018MaRDI QIDQ706508

Qiwen Xu, Jifeng He

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

Hybrid systemsSemanticsVerificationDuration Calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Jifeng He at Oxford and beyond: an appreciation ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ A Formal Model for a Hybrid Programming Language ⋮ Prefix and Projection onto State in Duration Calculus

This page was built for publication: Advanced features of duration calculus and their applications in sequential hybrid programs