Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach

Year of publication

2011

Authors

Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas

Organizations and authors

Åbo Akademi University

Troubitsyna Elena

Laibinis Linas

Publication type

Publication format

Article

Parent publication type

Compilation

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A3 Book section, Chapters in research books

Publication channel information

Journal/Series

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Publisher

IGI Global

Pages

459-472

Publication forum

5478

Publication forum level

Open access

Open access in the publisher’s service

No information

Self-archived

Unknown

Other information

Fields of science

Computer and information sciences

Publication country

United States

Language

English

International co-publication

Yes

Co-publication with a company