| Original language | English |
|---|---|
| Pages (from-to) | 175-188 |
| Journal | International journal of networked and distributed computing |
| Volume | 2 |
| Issue number | 3 |
| DOIs | |
| Publication status | Published - 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 journal › Article › Research › peer-review
}
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 -