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

  • Nermin Kajtazovic (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Constraint-based Verification of Compositions in Safety-critical Component-based Systems
Period30 Jun 2014 → 2 Jul 2014
Event titleSoftware Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - Studies in Computational Intelligence
Event typeConference