Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks
Year of publication
2011
Authors
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
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
11th International Conference on Application of Concurrency to System Designg, (ACSD 2011)
Publisher
Pages
185-194
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Fields of science
Statistics and probability; Computer and information sciences; Electronic, automation and communications engineering, electronics; Psychology; Media and communications; Sociology
Keywords
[object Object],[object Object],[object Object],[object Object],[object Object]
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
DOI
10.1109/ACSD.2011.29
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes