Symbolically Bounding the Drift in Time-Constrained MSC Graphs

DOI10.1007/978-3-642-32943-2_1zbMath1362.68163OpenAlexW1672880883MaRDI QIDQ2915094

S. Akshay, Shaofa Yang, Blaise Genest, Loïc Hélouët

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_1

Mathematics Subject Classification ID

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

Related Items (2)

Regular set of representatives for time-constrained MSC graphs ⋮ Checking conformance for time-constrained scenario-based specifications

This page was built for publication: Symbolically Bounding the Drift in Time-Constrained MSC Graphs