Timed Systems / Timed Systems Implementation Digital Supervisors Continuous Systems / Digital Supervisors Continuous Systems / /
Country
France / Denmark / /
Facility
Aalborg University / University of Nantes / University of Paris / /
Organization
University of Nantes / University of Paris / Aalborg University / /
Person
Jean-Jacques Loiseau Olivier / Jean Bézivin Claude Jard Kim / Franck Cassez / Kim G. Larsen Jean-Jacques / Université Libre de Bruxelles / Ahmed Bouajjani Oded Maler / Oded Maler Jean-François / /
Position
Assistant Professor / Supervisor / Events/ Sensors Actions Supervisor / Director / CNRS / France Research / Professor / Director / CNRS Research / Control Actions Supervisor / /