Khaled Alsayeg

According to our database, Khaled Alsayeg authored at least 1 paper in 2009.

Collaborative distances:

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

2009

RAT-based formal verification of QDI asynchronous controllers.

Khaled Alsayeg, Katell Morin-Allory, Laurent Fesquet

Proceedings of the Forum on specification and Design Languages, 2009