Philippe Dhaussy -- Teachning Activities
Home
Object oriented software engineering,
Model driven engineering,
Formal verification based on model-checking
System engineering
Home