Mohamed Wassim Trojet

According to our database, Mohamed Wassim Trojet authored at least 3 papers between 2008 and 2009.

Collaborative distances:

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

2009

Practical application of "lightweight" Z in DEVS framework.

Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Using Simulation Techniques and Formal Methods for Validating Interaction Based Models.

Mohamed Wassim Trojet, Mamoun Sqali, Lucile Torres, Claudia S. Frydman

Proceedings of the 2009 International Conference on Modeling, 2009

2008

Integrating Z in DEVS : a case study Lift Control System.

Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008