Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue
Das Buch "Formal Methods for Industrial Critical Systems" bietet eine umfassende Sammlung von überarbeiteten Beiträgen des 12... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Formal Methods for Industrial Critical Systems" bietet eine umfassende Sammlung von überarbeiteten Beiträgen des 12. Internationalen Workshops zu formalen Methoden für industrielle kritische Systeme, der im Juli 2007 in Berlin stattfand. Die 15 ausgewählten Volltexte, die aus 31 ursprünglichen Einreichungen hervorgegangen sind, wurden in zwei Überprüfungsrunden sorgfältig ausgewählt und verbessert. Diese Arbeiten zielen darauf ab, die Forschung und Entwicklung im Bereich der formalen Methoden und Werkzeuge für industrielle Anwendungen zu fördern. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit Kontrollsystemen, Zeitplanung, Verifikation, Software und Testen befassen. Die Sammlung bietet wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen in der Anwendung formaler Methoden in kritischen industriellen Systemen.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer