François Roucoux is an author at UCLouvain specializing in process control, process systems engineering, and formal methods.
Top concepts
DesignEngineeringVerificationFormal MethodsProcess ControlSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2009–2009
1
1
Analyzing critical process models through behavior model synthesis
Christophe Damas, Bernard Lambeau, François Roucoux et al. · 2009 · 29 citations
Rows per page
1–1 of 1