Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking MODSAFE 2010 work report

Publiceringsår

2010

Upphovspersoner

Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Frits, Juho; Niemelä, Ilkka

Organisationer och upphovspersoner

Aalto-universitetet

Niemelä Ilkka

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Facklig

UKM:s publikationstyp

D4 Publicerad utvecklings- eller forskningsrapport eller -utredning

Publikationskanalens uppgifter

ISBN

978-951-38-7497-1

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej