Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches
Contributions à la modélisation formelle et à l'analyse de modèles stochastiques
Abstract
This manuscript describes a number of contributions, I had the opportunity to work on, in the field of formal methods for stochastic models. Research in formal methods is concerned with defining mathematically rigorous formalisms that allows for specification, development and verification of the correctness of complex systems. In the case of stochastic systems
Origin | Files produced by the author(s) |
---|---|
Licence |
Public Domain
|