CRAN - Campus Sciences
BP 70239 - 54506 VANDOEUVRE Cedex
Tél : +33 (0)3 72 74 52 90
cran-secretariat@univ-lorraine.fr
 
 
Ph. D. Project : Combining techniques of formal verification and probabilistic assessment for determining the degree of confidence in safety critical digital systems
Dates : 2016/10/01 - 2019/09/30
Student: Margaux DUROEULX
Manager(s) CRAN: Nicolae BRINZEI
Other Manager(s): Stephan Merz (stephan.merz@loria.fr)
Department(s):
Eco-Technic systems engineering
Publications: hal-01147937v1, hal-01242667v1    + CRAN - Publications