Induction in the timed interval calculus

DOI10.1016/S0304-3975(01)00378-4zbMath1028.68086MaRDI QIDQ1399964

Axel Wabenhorst

Publication date: 30 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

inductiontemporal logicinterval logictimed tracesReal-time specification and reasoning

Mathematics Subject Classification ID

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

Cites Work

• Hybrid systems
• A calculus of durations
• A specification-oriented semantics for the refinement of real-time systems
• Duration calculus: Logical foundations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Induction in the timed interval calculus