Mohamed Wassim Trojet

  • Citations Per Year
Learn More
Control theory researchers have been using DEVS models to formalize discrete event systems for a long time. Despite such systems are one of the main targets of Software Engineers, the DEVS formalism lacks tools offering more credibility in DEVS models by enabling formal verification. This paper provides a way to exploit formal methods tools in doing such a(More)
The requirements analysis, modeling, and simulation have consistently been one of the main challenges during the development of complex systems. The scenarios and the state machines are two successful models to describe the behavior of an interactive system. The scenarios represent examples of system execution in the form of sequences of messages exchanged(More)
  • 1