| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Model Based Testing for Real-Time Systems: Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata | 978-3-8433-5916-O (3-8433-5916-4) | 2010 |
M. K. · Maggie Kirkman · Mahesh Krishnan · Max Kirchner · Max Kirschner · Maxi Kirchner · Micha Krzyanowski · Mick Kerrigan · Mika Kaurismaki · Mike Kerrison · Mike Kirkham · Mikko Kärkkäinen