Login / Signup
Chaire Blériot-Fabre
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Relational Structures
Formal Semantics
Keywords
Top Venues
Reliab. Eng. Syst. Saf.
</>
Publications
</>
Antoine Rauzy
,
Chaire Blériot-Fabre
Towards a sound semantics for dynamic fault trees.
Reliab. Eng. Syst. Saf.
142 (2015)