Login / Signup
Claus Feyling
Publication Activity (10 Years)
Years Active: 1996-2016
Publications (10 Years): 1
Top Topics
Design Tools
Image Sequences
Model Checking
Top Venues
FM
</>
Publications
</>
Bjørnar Luteberget
,
Christian Johansen
,
Claus Feyling
,
Martin Steffen
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
FM
(2016)
Remi Eriksen
,
Terje Andersen
,
Claus Feyling
,
Hans-Joachim Petersen
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems.
SAFECOMP
(1996)