On Scenario Synchronization

DOI10.1007/978-3-642-15643-4_9zbMath1305.68053OpenAlexW1785023301WikidataQ58227011 ScholiaQ58227011MaRDI QIDQ4931285

Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_9

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: On Scenario Synchronization