Benoît Caillaud

Benoît Caillaud

INRIA / IRISA / U. Rennes
Verified email at inria.fr
Cited by 3461
Hybrid Systems DAE Modelica Contract-based Design Interface Theories
Ulrik Nyman

Ulrik Nyman

Associate Professor, Aalborg University
Verified email at cs.aau.dk
Cited by 1614
Interface Theories Modal Transition System Model Checking Schedulability Analysis