On Conformance Testing for Timed Systems
From MaRDI portal
Publication:3543302
DOI10.1007/978-3-540-85778-5_18zbMath1171.68556MaRDI QIDQ3543302
Publication date: 2 December 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85778-5_18
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Model-Based Testing, Compositional schedulability analysis of real-time actor-based systems, Bounded determinization of timed automata with silent transitions, Synthesising succinct strategies in safety games with an application to real-time scheduling, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
Uses Software
Cites Work