Scholar
Didier Lime
Google Scholar ID: -RAajCgAAAAJ
École Centrale de Nantes
Computer Science
Formal Methods
Real-time Systems
Petri Nets
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3,611
H-index
29
i10-index
57
Publications
20
Co-authors
26
list available
Co-authors
7 total
Olivier H. Roux
Professor - Ecole Centrale Nantes, LS2N (CNRS) - France
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Kim G. Larsen
Director, Professor Aalborg University
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Louis-Marie Traonouez
INRIA Rennes
axel legay
TRAXXEO
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
