Rodolphe Suescun

According to our database, Rodolphe Suescun authored at least 1 paper in 2013.

Collaborative distances:

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

2013

On the Effectiveness of Assertion-Based Verification in an Industrial Context.

Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont

Proceedings of the Formal Methods for Industrial Critical Systems, 2013