Formal Methods for Industrial Critical Systems, Fachbücher von Alessandro Fantechi, Darren Cofer
Das Buch "Formal Methods for Industrial Critical Systems" bietet eine umfassende Analyse und Diskussion über die Anwendung fo... 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 Analyse und Diskussion über die Anwendung formaler Methoden in der Industrie. Es basiert auf den Ergebnissen der FMICS-Workshopreihe, die darauf abzielt, Forscher und Praktiker zusammenzubringen, die sich mit der Entwicklung und Anwendung dieser Methoden beschäftigen. Die Beiträge in diesem Buch decken eine Vielzahl von Themen ab, darunter Design, Spezifikation, Code-Generierung und Testen, die auf formalen Methoden basieren. Zudem werden Herausforderungen und Lösungen im Bereich der Verifikation und Validierung komplexer, verteilter und zeitkritischer Systeme behandelt. Das Buch ist eine wertvolle Ressource für Fachleute, die an der Verbesserung der Anwendbarkeit formaler Methoden in industriellen Kontexten interessiert sind und bietet Einblicke in Fallstudien sowie Erfahrungen aus der Praxis.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer