Claus Feyling

According to our database, Claus Feyling authored at least 2 papers between 1996 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.

Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen

Proceedings of the FM 2016: Formal Methods, 2016

1996

Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems.

Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen

Proceedings of the 15th International Conference on Computer Safety, 1996