Specification and verification of mobile real-time systems.

MaRDI QIDQ3542140zbMATH OpenFDO

Authors

Publication date 28 November 2008

zbMATH Keywords

automatic model checkingduration calculusshape calculusspatio-temporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Axiomatisation and decidability of multi-dimensional Duration Calculus
• scientific article; zbMATH DE number 1956481
• Real-Time Systems

Cited in

(2)

• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Axiomatisation and decidability of multi-dimensional Duration Calculus

This page was built for publication: Specification and verification of mobile real-time systems.

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