Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky
Das Buch "Formal Techniques for Safety-Critical Systems" präsentiert die referierten Beiträge des Dritten Internationalen Wor... Mehr erfahren
Produktvarianten
Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Formal Techniques for Safety-Critical Systems" präsentiert die referierten Beiträge des Dritten Internationalen Workshops zu formalen Techniken für sicherheitskritische Systeme, der im November 2014 in Luxemburg stattfand. Es umfasst 14 überarbeitete Volltexte, die aus 40 eingereichten Arbeiten ausgewählt wurden, sowie zwei eingeladene Vorträge. Die behandelten Themen konzentrieren sich auf die Anwendung formaler und semi-formaler Methoden zur Verbesserung der Qualität von sicherheitskritischen Computersystemen. Die Beiträge bieten wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen in diesem wichtigen Bereich, der für die Gewährleistung der Sicherheit in verschiedenen Anwendungen von entscheidender Bedeutung ist. Die sorgfältige Überprüfung und Auswahl der Arbeiten gewährleistet eine hohe wissenschaftliche Qualität und Relevanz.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer