C. Desclaux
Capgemini (France)(FR)
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Software Engineering Research, Real-Time Systems Scheduling, Flexible and Reconfigurable Manufacturing Systems
Most-Cited Works
- → Supervisory control of discrete-event processes with partial observations(1988)566 cited
- → A Methodology of Specification and Implementation of Distributed Discrete Control Systems(1987)16 cited
- → MACS: maintenance assistance capability for software-a KADME(2002)9 cited
- → Modeling and control of discrete event systems(1986)7 cited
- → Capturing design and maintenance decisions with MACS(2002)3 cited
- → M.L.C.: A LANGUAGE FOR THE SPECIFICATION OF THE FMS CONTROL SYSTEMS(1987)