S. Fechter

According to our database, S. Fechter authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2010

Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.

Jean-Frédéric Étienne, S. Fechter, E. Juppeaux

Proceedings of the Complex Systems Design & Management, 2010