Linking DC together with TRSL

DOI10.1007/3-540-40911-4_3MaRDI QIDQ4471909zbMATH OpenFDO

Authors Xia Yong, Anne Elisabeth Haxthausen

Publication date 30 July 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450025.htm

zbMATH Keywords

Duration CalculusFormal methodsintegration of specification formalismsRAISE

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Integrating variants of DC
• Duration calculus: Logical foundations
• Towards a denotational semantics of timed RSL using duration calculus
• Unifying proof methodologies of duration calculus and timed linear temporal logic
• Duration calculus: A real-time semantic for B.

Cited in

(1)

• Integrating variants of DC

This page was built for publication: Linking DC together with TRSL

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