Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Maamar El Amine Hamri
Information about the author Maamar El Amine Hamri will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems
2017
PROMELA is a well‐known formalism for the modelling and the verification of...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
