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.

On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL

Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche. On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. In Chengcui Zhang, Balaji Palanisamy, Latifur Khan, Sahra Sedigh Sarvestani, editors, 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017. pages 419-426, IEEE Computer Society, 2017. [doi]

Authors

Said Meghzili

This author has not been identified. Look up 'Said Meghzili' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google

Elhillali Kerkouche

This author has not been identified. Look up 'Elhillali Kerkouche' in Google
runs on