Contributions to the verification and control of timed and probabilistic modelsNathalie Bertrandchercheur Inria au sein de l'équipe SUMO Habilitation defense - Monday 16th November 2015 |
|||
The talk |
The slides |
||
|
|||
|
|||
Defense's talk -
Nathalie Bertrand (Inria) |
|||