Raisonnement qualitatif asymptotique par les ordres de croissance
A cooperative and explanatory system for interactive graphic interpretation
Timing constraints of real-time application : an attempt to verification
Robust Stability and Stabilization of Deterministic and Stochastic Time-Delay Systems
Stability of Linear Systems with Delayed State: an LMI Approach
An approach based on a logical concept and a mathematical formalism to resolve a timetabling problem
Control-supervision system directed towards Operational Safety