On Design-time Modelling and Verification of Safety-critical Component-based Systems

Nermin Kajtazovic; Christopher Preschern; Andrea Höller; Christian Josef Kreiner

doi:10.2991/ijndc.2014.2.3.7

On Design-time Modelling and Verification of Safety-critical Component-based Systems

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Josef Kreiner

Institute of Technical Informatics (4480)

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	175-188
Journal	International journal of networked and distributed computing
Volume	2
Issue number	3
DOIs	https://doi.org/10.2991/ijndc.2014.2.3.7
Publication status	Published - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Theoretical
Experimental

Access to Document

10.2991/ijndc.2014.2.3.7

Cite this

@article{fe8ae9870f6a48d7af73ad5acd707d9b,

title = "On Design-time Modelling and Verification of Safety-critical Component-based Systems",

author = "Nermin Kajtazovic and Christopher Preschern and Andrea H{\"o}ller and Kreiner, {Christian Josef}",

year = "2014",

doi = "10.2991/ijndc.2014.2.3.7",

language = "English",

volume = "2",

pages = "175--188",

journal = "International journal of networked and distributed computing",

issn = "2211-7946",

publisher = "Atlantis Press",

number = "3",

}

TY - JOUR

T1 - On Design-time Modelling and Verification of Safety-critical Component-based Systems

AU - Kajtazovic, Nermin

AU - Preschern, Christopher

AU - Höller, Andrea

AU - Kreiner, Christian Josef

PY - 2014

Y1 - 2014

UR - http://atlantis-press.com/

U2 - 10.2991/ijndc.2014.2.3.7

DO - 10.2991/ijndc.2014.2.3.7

M3 - Article

VL - 2

SP - 175

EP - 188

JO - International journal of networked and distributed computing

JF - International journal of networked and distributed computing

SN - 2211-7946

IS - 3

ER -

On Design-time Modelling and Verification of Safety-critical Component-based Systems

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Cite this