Samy Yazid

According to our database, Samy Yazid authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method.

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid, Djamel Djenouri

J. Integr. Des. Process. Sci., 2016