Constraint-based Verification of Compositions in Safety-critical Component-based Systems

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

Constraint-based Verification of Compositions in Safety-critical Component-based Systems

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

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130
Publisher	.
Pages	113-130
Publication status	Published - 2014
Event	IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - , United States Duration: 30 Jun 2014 → 2 Jul 2014

Conference

Conference	IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Country/Territory	United States
Period	30/06/14 → 2/07/14

Fields of Expertise

Information, Communication & Computing

Cite this

Constraint-based Verification of Compositions in Safety-critical Component-based Systems. / Kajtazovic, Nermin; Preschern, Christopher; Höller, Andrea et al.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130. ., 2014. p. 113-130.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Kajtazovic, N, Preschern, C, Höller, A & Kreiner, CJ 2014, Constraint-based Verification of Compositions in Safety-critical Component-based Systems. in Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130. ., pp. 113-130, IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, United States, 30/06/14.

@inproceedings{b4047f6e085844c080d6cde68ae0e7b8,

title = "Constraint-based Verification of Compositions in Safety-critical Component-based Systems",

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

year = "2014",

language = "English",

pages = "113--130",

booktitle = "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130",

publisher = ".",

note = "IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ; Conference date: 30-06-2014 Through 02-07-2014",

}

TY - GEN

T1 - Constraint-based Verification of Compositions in Safety-critical Component-based Systems

AU - Kajtazovic, Nermin

AU - Preschern, Christopher

AU - Höller, Andrea

AU - Kreiner, Christian Josef

PY - 2014

Y1 - 2014

M3 - Conference paper

SP - 113

EP - 130

BT - Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130

PB - .

T2 - IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Y2 - 30 June 2014 through 2 July 2014

ER -