Login / Signup
Raphael Fonte Boa Trindade
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Safety Analysis
Automatically Generate
Software Requirements
Manually Generated
Top Venues
SAFECOMP
</>
Publications
</>
Raphael Fonte Boa Trindade
,
Lukas Bulwahn
,
Christoph Ainhauser
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements.
SAFECOMP
(2014)