TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
JulkaisupaikkaTampere
KustantajaTampere University of Technology
Sivumäärä121
ISBN (painettu)978-952-15-2080-8
TilaJulkaistu - 2008
OKM-julkaisutyyppiG5 Artikkeliväitöskirja

Julkaisusarja

NimiTampereen teknillinen yliopisto. Julkaisu
KustantajaTampere University of Technology
Vuosikerta782
ISSN (painettu)1459-2045

Julkaisufoorumi-taso

Tilastokeskuksen tieteenalat