There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 173-188

DOI: 10.1007/11526841_13

SO-VID: e52d9370-5444-43d7-8aa8-9f9abb55f858

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

On Conformance Testing for Timed Systems
Authors: Julien Schmaltz, Jan Tretmans
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Authors: Alexey Khoroshilov, Yevgeny Gerlits
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
Authors: Lars Luthmann, Hendrik Göttmann, Malte Lochau

See all cited by

Timed Testing with TorX

Read this book at