(2IA IAIL 9.3) - Modeling and Verification of Dependable Reactive Systems


(2IA IAIL 9.4) - Model Driven Engineering

(2IA IAIL 9.5) - Ambiant Intelligence

(2IA IAIL 9.6) - Distributed Programming