Formal Techniques for Safety-Critical Systems

53.49 EUR 52.94 EUR 1% Off

Ein Fachband aus dem fünften internationalen Workshop in Tokio, der überarbeitete Forschungsbeiträge zu formalen Methoden für sicherheitskritische Systeme präsentiert und neue Ansätze zur Modellierung, Verifikation und Analyse von Hochsicherheitsanwendungen beleuchtet.

Teilen: