Yann Moffett

According to our database, Yann Moffett authored at least 2 papers between 2011 and 2013.

Collaborative distances:

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

2013

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems.

Yann Moffett, Jürgen Dingel, Alain Beaulieu

IEEE Trans. Software Eng., 2013

2011

Verifying UML-RT Protocol Conformance Using Model Checking.

Yann Moffett, Alain Beaulieu, Jürgen Dingel

Proceedings of the Model Driven Engineering Languages and Systems, 2011