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

Nermin Kajtazovic (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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