< Back to search results

Model-Checking I&C Logics — Practical Examples

Year of publication

2023

Authors

Pakonen, Antti

Organizations and authors

VTT Technical Research Centre of Finland Ltd

Pakonen Antti

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

Parent publication name

13th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC&HMIT 2023)

Conference

13th Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC & HMIT 2023)

Publisher

American Nuclear Society (ANS)

Pages

1610-1619

ISBN

978-0-89448-791-0

Publication forum

Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Electronic, automation and communications engineering, electronics

Keywords

[object Object],[object Object],[object Object]

Identified topic

[object Object]

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.13182/NPICHMIT23-41122

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes