C
C. Fraize
Researcher at Conservatoire national des arts et métiers
Publications - 1
Citations - 7
C. Fraize is an academic researcher from Conservatoire national des arts et métiers. The author has contributed to research in topics: Reachability & Probabilistic relevance model. The author has an hindex of 1, co-authored 1 publications receiving 7 citations. Previous affiliations of C. Fraize include Alstom.
Papers
More filters
Book ChapterDOI
A New Approach of Formal Proof: Probabilistic Validation
TL;DR: The aim of the work is to develop a new approach based on a partial exploration of the reachability set that can demonstrate, for a given period of operation, that assertions about the behaviour of the system are verified with an acceptable probability level.