Login / Signup
Rem Gensh
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 4
Top Topics
Formal Specification
Stochastic Methods
Single Point Of Failure
Fault Tolerance
Top Venues
SERENE
FDL
HASE
ACSD
</>
Publications
</>