Buch, Englisch, 192 Seiten, Format (B × H): 150 mm x 220 mm, Gewicht: 304 g
Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata
Buch, Englisch, 192 Seiten, Format (B × H): 150 mm x 220 mm, Gewicht: 304 g
ISBN: 978-3-8433-5916-0
Verlag: LAP LAMBERT Academic Publishing




