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

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

Research output: Contribution to journalArticleResearchpeer-review

LanguageEnglish
Pages175-188
JournalInternational journal of networked and distributed computing
Volume2
Issue number3
DOIs
StatusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this

On Design-time Modelling and Verification of Safety-critical Component-based Systems. / Kajtazovic, Nermin; Preschern, Christopher; Höller, Andrea; Kreiner, Christian Josef.

In: International journal of networked and distributed computing, Vol. 2, No. 3, 2014, p. 175-188.

Research output: Contribution to journalArticleResearchpeer-review

Kajtazovic, Nermin ; Preschern, Christopher ; Höller, Andrea ; Kreiner, Christian Josef. / On Design-time Modelling and Verification of Safety-critical Component-based Systems. In: International journal of networked and distributed computing. 2014 ; Vol. 2, No. 3. pp. 175-188
@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

T2 - International journal of networked and distributed computing

JF - International journal of networked and distributed computing

SN - 2211-7946

IS - 3

ER -