Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Ein praxisorientiertes Werk, das die neuesten formalen Techniken zur Analyse sicherheitskritischer Systeme aus dem FTSCS‑Workshop zusammenführt und ...

Allgemein

Marke
Cyrille Artho
ISBN
Cyrille Artho 303012987X

Eigenschaften

Menü