Marianne Michel

According to our database, Marianne Michel authored at least 1 paper in 2013.

Collaborative distances:

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

2013

A novel approach for assertion based verification of DDR memory protocols.

Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the 2013 Forum on specification and Design Languages, 2013