Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches

Nathalie Bertrand 0001. Contributions to the verification and control of timed and probabilistic models : Mémoire d'habilitation à diriger des recherches. 2015. [doi]

Abstract

Abstract is missing.