Romain Kervarc
IdRefMots clés
FR |
EN
Traitement d'événements (informatique)
Application aérospatiale
Logique temporelle
Petri, Réseaux de
Drones
Théorie des types
Lambda-calcul
Réécriture, Systèmes de (informatique)
Logique mathématique
ProbLog
WalkSAT
Markov, Processus de
Incertitude (théorie de l'information)
Évolution
Coévolution
Comparaison
Transformation
Modèles de données
Données
Ingénierie dirigée par les modèles