Site en français

Correct, efficient and robust controllers

Units : Verification and formal methods | ULB512

Description :

The elaboration of a framework for the development of distributed industrial supervisors and controllers leads to interesting
problems, in particular to tools for the automatic distribution of codes and validation modules to improve their robustness.

List of persons in charge :

  • MASSART Thierry

List of lessors :

  • Entreprises privées