Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - Studies in Computational Intelligence

  • Nermin Kajtazovic (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Constraint-based Verification of Compositions in Safety-critical Component-based Systems
Zeitraum30 Juni 2014 → 2 Juli 2014
EreignistitelSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - Studies in Computational Intelligence
VeranstaltungstypKonferenz