Joël Champeau
IdRefMots clés
FR |
EN
Ingénierie des systèmes
Modélisation
Fédération de modèles
Ingénierie dirigée par les modèles
Sécurité des systèmes
Architecture
Systèmes embarqués (informatique)
Cyber-sécurité
Analyse formelle
Model-checking
Advanced Persistent Threat
Langage Pimca
APT (informatique)
Modélisation par Composants
Modélisation Multi-Paradigme
Modèle de Calcul
Adaptation Sémantique.
Relations d’Horloges
Systèmes complexes
Ingénierie système