Belmonte, Fabien
21  results:
Search for persons X
?
1

Interlocking Formal Verification at Alstom Signalling:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
 
?
2

Reliability Engineering:

Larrucea, Xabier ; Belmonte, Fabien ; Welc, Adam.
IEEE Software.  34 (2017)  4 - p. 26-29 , 2017
 
?
3

Interdisciplinary safety analysis of complex socio-technolo..:

Belmonte, Fabien ; Schön, Walter ; Heurley, Laurent.
Reliability Engineering & System Safety.  96 (2011)  2 - p. 237-249 , 2011
 
?
6

Application of Evidential Networks in quantitative analysis..:

Aguirre, Felipe ; Sallak, Mohamed ; Schon, Walter.
info:eu-repo/semantics/altIdentifier/doi/10.1177/1748006X12475044.  , 2013
 
?
7

Application of Evidential Networks in quantitative analysis..:

Aguirre, Felipe ; Sallak, Mohamed ; Schon, Walter.
info:eu-repo/semantics/altIdentifier/doi/10.1177/1748006X12475044.  , 2013
 
?
9

Interdisciplinary safety analysis of complex socio-technolo..:

Belmonte, Fabien ; Schön, Walter ; Heurley, Laurent.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ress.2010.09.006.  , 2011
 
?
10

Interdisciplinary safety analysis of complex socio-technolo..:

Belmonte, Fabien ; Schön, Walter ; Heurley, Laurent.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ress.2010.09.006.  , 2011
 
?
11

Interdisciplinary safety analysis of complex socio-technolo..:

Belmonte, Fabien ; Schön, Walter ; Heurley, Laurent.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ress.2010.09.006.  , 2011
 
1-15