Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Aznam Yacoub
Information about the author Aznam Yacoub 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
