Formal Techniques for Safety-Critical Systems | Kaicus Deutschland

Formal Techniques for Safety-Critical Systems

53.34 EUR 0% Off 53.49 EUR

Der Band präsentiert überarbeitete Arbeiten aus dem FTSCS‑Workshop 2014 in Luxemburg und beleuchtet neue Ansätze zur formalen Modellierung, Verifikation und Analyse sicherheitskritischer Systeme, wobei sowohl theoretische Grundlagen als auch praxisnahe Fallstudien im Fokus stehen.

Marke: Springer-Verlag GmbH
MPN: 86 black & white illustrations, biograph
ISBN: 9783319175805
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen