Caillaud, Benoît, 19..-....
Caillaud, Benoît
VIAF ID: 172237544 ( Personal )
Permalink: http://viaf.org/viaf/172237544
Preferred Forms
- 100 1 _ ‡a Caillaud, Benoît, ‡d 19..-....
- 100 1 _ ‡a Caillaud, Benoît
Works
Title | Sources |
---|---|
Correctness of automated distribution of sequential programs | |
An effective equivalence for sets of scenarios represented by HMSCs | |
Introducing probabilistic reasoning within Event-B. | |
Introduction de raisonnement probabiliste dans la méthode B événementiel | |
L'ingénierie des protocoles | |
Modular specification and compositional analysis of stochastic systems | |
Semantic transducer for interface theories. | |
Simulation accélérée des systèmes hybrides : méthode combinant analyse statique et analyse à l'exécution. | |
Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle |