A Theory of Duration Calculus with Application

DOI10.1007/978-3-540-74964-6_3zbMath1145.03310OpenAlexW1507319077MaRDI QIDQ3525019

Michael R. Hansen, Dang Van Hung

Publication date: 16 September 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-74964-6_3

zbMATH Keywords

real-time systemsdecidabilitymodel-checkingduration calculusapplicationmetric-time temporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Uses Software

• Uppaal

This page was built for publication: A Theory of Duration Calculus with Application