Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation" von Kirsten Mewes beschäftigt sich mit der Entwicklung und Optimierung von Eisenbahnsteuerungssystemen durch den Einsatz domänenspezifischer Modellierungstechniken. Es bietet einen umfassenden Überblick über Methoden zur Modellierung, Verifikation und Validierung, die speziell auf die Anforderungen des Eisenbahnbereichs zugeschnitten sind. Der Fokus liegt darauf, wie diese Techniken dazu beitragen können, die Sicherheit und Zuverlässigkeit von Steuerungssystemen zu erhöhen. Das Buch kombiniert theoretische Ansätze mit praktischen Anwendungen und Fallstudien, um ein tiefes Verständnis für die Herausforderungen und Lösungen in diesem spezialisierten Bereich zu vermitteln.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
