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 Konferenzband

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 Jun 20142 Jul 2014

Konferenz

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

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren