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.

The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation

Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam. The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015. pages 657-663, IEEE, 2015. [doi]

Authors

Mohamed Garoui

This author has not been identified. Look up 'Mohamed Garoui' in Google

Belhassen Mazigh

This author has not been identified. Look up 'Belhassen Mazigh' in Google

Abderrafiaa Koukam

This author has not been identified. Look up 'Abderrafiaa Koukam' in Google
runs on