Inventaire
Site en français
MASSART Thierry J.



Units

Modélisation structures et matériaux

Person in charge of the Unit : Oui


Verification and formal methods

Person in charge of the Unit : Oui

The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants control systems, and so forth. 

CMMI

Person in charge of the Unit : Oui


Projetcs

This person isn't currently part of a projet.