Incremental methods for checking real-time consistency

DOI10.1007/978-3-030-57628-8_15OpenAlexW3039477597MaRDI QIDQ1996034

Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré

Publication date: 2 March 2021

Full work available at URL: https://arxiv.org/abs/2007.01014

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Repairing real-time requirements ⋮ Incremental methods for checking real-time consistency

Cites Work

• Unnamed Item
• A calculus of durations
• NuSMV: A new symbolic model checker
• Incremental methods for checking real-time consistency

This page was built for publication: Incremental methods for checking real-time consistency