Skip to Main content Skip to Navigation
New interface


...
tel-00595268v1  Theses
Etienne André. An inverse method for the synthesis of timing parameters in concurrent systems
Computers and Society [cs.CY]. École normale supérieure de Cachan - ENS Cachan, 2010. English. ⟨NNT : 2010DENS0044⟩