Emergency diesel generator control system verification by model checking and compositional minimization
Julkaisuvuosi
2012
Tekijät
Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Niemelä, I.
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Konferenssi
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012)
Kustantaja
Volyymi
7721
Sivut
49-60
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei
Muut tiedot
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä