undefined

Multi-parameterised compositional verification of safety properties

Year of publication

2015

Authors

Siirtola, Antti; Kortelainen, Juha

Organizations and authors

University of Oulu

Kortelainen Juha Matti

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Pages

23-48

​Publication forum

57827

​Publication forum level

3

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]

Publication country

United States

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.1016/j.ic.2015.08.002

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

Yes