Datenbestand vom 10. Dezember 2024
Verlag Dr. Hut GmbH Sternstr. 18 80538 München Tel: 0175 / 9263392 Mo - Fr, 9 - 12 Uhr
aktualisiert am 10. Dezember 2024
978-3-86853-359-0, Reihe Informatik
Kirsten Mewes Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation
456 Seiten, Dissertation Universität Bremen (2009), Softcover, B5