Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking MODSAFE 2010 work report
Year of publication
2010
Authors
Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Frits, Juho; Niemelä, Ilkka
Organizations and authors
Aalto University
Niemelä Ilkka 
Publication type
Publication format
Monograph
Audience
Professional
MINEDU's publication type classification code
D4 Published development or research report or study
Publication channel information
ISBN
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Computer and information sciences
Keywords
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Internationality of the publisher
Domestic
Language
English
International co-publication
No
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes