Mohamed Wassim Trojet

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)
  • 1