scientific article; zbMATH DE number 2079807

MaRDI QIDQ4471909zbMATH OpenFDO

Authors Xia Yong, Anne Elisabeth Haxthausen

Publication date 30 July 2004

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

zbMATH Keywords

RAISEFormal methodsDuration Calculusintegration of specification formalisms

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

• Theoretical Aspects of Computing - ICTAC 2004
• 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
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(1)

• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication:

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