In: SysTol 2013. 2nd International Conference on Control and Fault-Tolerant Systems October 9-11, 2013, Nice, France, 2013-10-09 - 2013-10-11, Nice, Franciaország.
Smart Mini Actuators for Safety Critical Unmanned Aerial Vehicles
COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)