undefined

< Back to search results

Formal Verification of Safety Automation Logic Designs

Year of publication

2009

Authors

Valkonen, Janne; Koskimies, Matti; Björkman, Kim; Heljanko, Keijo; Niemelä, Ilkka; Hämäläinen, Jari

Organizations and authors

VTT Technical Research Centre of Finland Ltd

Valkonen Janne

Hämäläinen Jari Orcid -palvelun logo

Björkman Kim Orcid -palvelun logo

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Journal/Series

Suomen automaatioseura. Julkaisusarja

Parent publication name

Automaatio XVIII

Conference

Automaatio XVIII Seminaari

Publisher

Suomen automaatioseura

Volume

36

ISSN

1455-6502

ISBN

978-952-5183-35-1

​Publication forum

78058

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Mechanical engineering

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

No