Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue
53,49 €
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
