Symbolically Bounding the Drift in Time-Constrained MSC Graphs
From MaRDI portal
Publication:2915094
DOI10.1007/978-3-642-32943-2_1zbMath1362.68163MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Regular set of representatives for time-constrained MSC graphs, Checking conformance for time-constrained scenario-based specifications