COMASIC
Search
Primary Menu
Skip to content
Chaire ISC
Internship proposals
Presentation
SCHEDULE
Faculty
Program Coordination
M2 Faculty
M1 Faculty at Ecole Polytechnique
M1 Faculty at Telecom-ParisTech
M1 Faculty at ENSTA-ParisTech
Admission
Year 1 (M1)
Ecole Polytechnique Students
Telecom-ParisTech Students
ENSTA-ParisTech Students
Year 2 (M2)
Algorithmique répartie
Analyse et résolution d’équations différentielles algébriques
Architecture des systèmes
Architecture électronique des Systèmes Embarqués
Fouille de grandes masses de données
Ingénierie des exigences
Ingénierie dirigée par les modèles des systèmes complexes temps-réels
Modelica et Dymola
Modélisation de systèmes à temps continu
Modélisation et analyse des risques de sécurité dans les systèmes complexes
Modélisation et commande par représentation d’état
Modélisation et simulation de systèmes dynamiques
Modélisation métier : systèmes de transport
Modélisation métier : systèmes multiphysiques dans le naval et l’avionique
Modélisation métier: Systèmes d’information des opérateurs de télécommunications et systèmes d’information bancaires
Modélisation multi-paradigme du temps et des comportements
Modélisation objet pour les systèmes
Noyaux temps-réels
Outils d’optimisation
Outils de test, critères et stratégies de couverture
Signaux et Systèmes
Software model checking
Sûreté de fonctionnement
Systèmes réactifs et synchrones
Systèmes répartis et autonomiques
Systèmes temps-réels de contrôle-commande
Technologies applicatives
Validation inductive de programmes et de systèmes hybrides
Vérification déductive de programmes
Events
Contact
FAQ
Scholarships
Search for:
Year 2 (M2)
