A Comparison of Formal Verification Approaches for IEC 61499
Year of publication
2016
Authors
Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois
Organizations and authors
Aalto University
Vyatkin Valeriy 
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
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016
Conference
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Publisher
Volume
2016-November
Article number
7733636
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
Computer and information sciences; Electronic, automation and communications engineering, electronics
Identified topic
[object Object]
Internationality of the publisher
International
Language
English
International co-publication
Yes
Co-publication with a company
No
DOI
10.1109/ETFA.2016.7733636
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes