TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verification of safety-critical systems: a case study report on using modern model checking tools

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011
ToimittajatJörg Braner, Marco Roveri, Hendrik Tews
JulkaisupaikkaDresden, Germany
KustantajaTU Dresden
Sivut66-80
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Julkaisusarja

NimiInternational Workshop on Systems Software Verification

Julkaisufoorumi-taso