Author/Creator: Yacoub, Aznam - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Yacoub, Aznam

1. DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. (2017)

Authors:: Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia; Seo, Chungman; Zeigler, Bernard P.
Journal:: International journal of simulation and process modelling
Issue:: Volume 12:Number 3/4(2017)
Page Start:: 313
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. (November 2020)

Authors:: Yacoub, Aznam; Hamri, Maamar El Amine; Frydman, Claudia
Journal:: Simulation
Issue:: Volume 96:Number 11(2020)
Page Start:: 881
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗