Ph. D. Project
Title:
Combining techniques of formal verification and probabilistic assessment for determining the degree of confidence in safety critical digital systems
Dates:
2016/10/01 - 2019/12/31
Supervisor(s): 
Other supervisor(s):
Stephan Merz (stephan.merz@loria.fr)
Department(s): 
Eco-Technic systems engineering