Emergency diesel generator control system verification by model checking and compositional minimization
Year of publication
2012
Authors
Lahtinen, Jussi; Björkman, Kim; Valkonen, Janne; Niemelä, I.
Organizations and authors
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Conference
8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012)
Publisher
Volume
7721
Pages
49-60
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No information
Self-archived
No
Other information
Keywords
[object Object],[object Object],[object Object],[object Object],[object Object]
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