Integrating variants of DC

DOI10.1007/978-3-540-31862-0_2MaRDI QIDQ5709977zbMATH OpenOpenAlexFDO

Authors He Jifeng, Jin Naiyong

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107116

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Advanced features of duration calculus and their applications in sequential hybrid programs
• Duration calculus: Logical foundations
• All those duration calculi: an integrated approach
• Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
• Linking DC together with TRSL

Cited in

(6)

• Duration calculus: Logical foundations
• A formal model for a hybrid programming language
• Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
• All those duration calculi: an integrated approach
• Linking DC together with TRSL
• Advanced features of duration calculus and their applications in sequential hybrid programs

This page was built for publication: Integrating variants of DC

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