Mokdad Arous

According to our database, Mokdad Arous authored at least 2 papers between 2013 and 2015.

Collaborative distances:

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

2015

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems.

Mokdad Arous, Djamel-Eddine Saïdouni, Jean-Michel Ilié

Int. J. Syst. Serv. Oriented Eng., 2015

2013

Towards an Integrated Specification and Analysis of Functional and Temporal Properties: - Part I: Functional Aspect Verification.

Mokdad Arous, Djamel-Eddine Saïdouni

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013