External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems

Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler. DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. IJSPM, 12(3/4):313-327, 2017. [doi]

Authors

Aznam Yacoub

This author has not been identified. Look up 'Aznam Yacoub' in Google

Maâmar El-Amine Hamri

This author has not been identified. Look up 'Maâmar El-Amine Hamri' in Google

Claudia S. Frydman

This author has not been identified. Look up 'Claudia S. Frydman' in Google

Chungman Seo

This author has not been identified. Look up 'Chungman Seo' in Google

Bernard P. Zeigler

This author has not been identified. Look up 'Bernard P. Zeigler' in Google
runs on