Model Based Testing for Real-Time Systems: Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata

Conformance

von Moez Krichen

Taschenbuch

Details (Deutschland)

EAN=ISBN-13: 978-3-8433-5916-0

ISBN-10: 3-8433-5916-4

LAP LAMBERT Academic Publishing · 2010