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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130
Herausgeber (Verlag).
Seiten113-130
PublikationsstatusVeröffentlicht - 2014
VeranstaltungIEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - , USA / Vereinigte Staaten
Dauer: 30 Juni 20142 Juli 2014

Konferenz

KonferenzIEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Land/GebietUSA / Vereinigte Staaten
Zeitraum30/06/142/07/14

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren