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.

Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets

Weiyi Zhang, Zoran Salcic, Avinash Malik. Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 152-159, IEEE, 2019. [doi]

Authors

Weiyi Zhang

This author has not been identified. Look up 'Weiyi Zhang' in Google

Zoran Salcic

This author has not been identified. Look up 'Zoran Salcic' in Google

Avinash Malik

This author has not been identified. Look up 'Avinash Malik' in Google
runs on