placeholder image

Mallouli, Wissam

Person

Positions

, Orange (France)

selected publications

conference paper
- Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. . 173-180. 2008
- Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. . 315-318. 2008

full name

Wissam Mallouli

Publications in VIVO

Co-author Network