Patricia Bouyer

Patricia Bouyer

LMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay
在 lsv.fr 的电子邮件经过验证
被引用次数：5810
vérification model-checking systèmes temporisés jeux
Nadjib Lazaar

Nadjib Lazaar

Maître de conférence, LIRMM-CNRS, Université de Montpellier 2
在 lirmm.fr 的电子邮件经过验证
被引用次数：710
intelligence artificielle programmation par contraintes génie logiciel vérification
Nabil Belala

Nabil Belala

Professor (full), University of Constantine 2, Algeria
在 univ-constantine2.dz 的电子邮件经过验证
被引用次数：237
systèmes temps-réel spécification vérification modèles
Laurent Bigot

Laurent Bigot

MCF - Université de Tours / EPJT - France
在 univ-tours.fr 的电子邮件经过验证
被引用次数：177
Fact-checking Journalisme Vérification Investigation...
samia Mazouz

samia Mazouz

Université des Sciences et Technologie Houari Boumédiene
在 usthb.dz 的电子邮件经过验证
被引用次数：14
Méthodes Formelles Systèmes temps réels Réseaux de Petri Vérification
Six Lancelot

Six Lancelot

IFSTTAR
在 ifsttar.fr 的电子邮件经过验证
被引用次数：11
systèmes multi agents simulation trafic vérification