On Conformance Testing for Timed Systems
From MaRDI portal
Publication:3543302
DOI10.1007/978-3-540-85778-5_18zbMath1171.68556OpenAlexW1586681669MaRDI 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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Testing using CSP Models: Time, Inputs, and Outputs ⋮ Synthesising succinct strategies in safety games with an application to real-time scheduling ⋮ Bounded determinization of timed automata with silent transitions ⋮ Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Model-Based Testing
Uses Software
Cites Work
This page was built for publication: On Conformance Testing for Timed Systems