Thomas Polacsek
IdRefMots clés
FR |
EN
Ingénierie des exigences
Planification
Logique
Logique modale
Agent autonome
Intelligence artificielle
Logique épistémique
Représentation de l'action
Programmation logique
Modalité (logique)
Méthodes formelles
Ingénierie Dirigée par le Modèles
Logiciels embarqués
Vérification et validation
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
UML (informatique)
Justification
Certification
Domaines critiques