Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner. Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems. In Roger Lee, editor, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Volume 569 of Studies in Computational Intelligence, pages 113-130, Springer, 2015. [doi]
@incollection{KajtazovicPHK15, title = {Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems}, author = {Nermin Kajtazovic and Christopher Preschern and Andrea Höller and Christian Kreiner}, year = {2015}, doi = {10.1007/978-3-319-10389-1_9}, url = {http://dx.doi.org/10.1007/978-3-319-10389-1_9}, researchr = {https://researchr.org/publication/KajtazovicPHK15}, cites = {0}, citedby = {0}, pages = {113-130}, booktitle = {Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing}, editor = {Roger Lee}, volume = {569}, series = {Studies in Computational Intelligence}, publisher = {Springer}, isbn = {978-3-319-10388-4}, }