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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130
Publisher.
Pages113-130
Publication statusPublished - 2014
EventIEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - , United States
Duration: 30 Jun 20142 Jul 2014

Conference

ConferenceIEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
CountryUnited States
Period30/06/142/07/14

Fields of Expertise

  • Information, Communication & Computing

Cite this

Kajtazovic, N., Preschern, C., Höller, A., & Kreiner, C. J. (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). ..

Constraint-based Verification of Compositions in Safety-critical Component-based Systems. / Kajtazovic, Nermin; Preschern, Christopher; Höller, Andrea; Kreiner, Christian Josef.

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 proceedingConference contributionResearchpeer-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.
Kajtazovic N, Preschern C, Höller A, Kreiner CJ. 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. . 2014. p. 113-130
Kajtazovic, Nermin ; Preschern, Christopher ; Höller, Andrea ; Kreiner, Christian Josef. / Constraint-based Verification of Compositions in Safety-critical Component-based Systems. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130. ., 2014. pp. 113-130
@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 = ".",

}

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 contribution

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 - .

ER -