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