Emergency diesel generator control system verification by model checking and compositional minimization
Publiceringsår
2012
Upphovspersoner
Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Niemelä, I.
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Konferens
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012)
Förläggare
Volym
7721
Sidor
49-60
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
[object Object],[object Object],[object Object],[object Object],[object Object]
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja