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.

Composability Verification of Real Time System Models Using Colored Petri Nets

Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi. Composability Verification of Real Time System Models Using Colored Petri Nets. In David Al-Dabass, Alessandra Orsoni, Jasmy Yunus, Richard Cant, Zuwairie Ibrahim, editors, 15th International Conference on Computer Modelling and Simulation, UKSim 2013, Cambridge, United Kingdom, April 10-12, 2013. pages 407-412, IEEE, 2013. [doi]

Authors

Imran Mahmood

This author has not been identified. Look up 'Imran Mahmood' in Google

Rassul Ayani

This author has not been identified. Look up 'Rassul Ayani' in Google

Vladimir Vlassov

This author has not been identified. Look up 'Vladimir Vlassov' in Google

Farshad Moradi

This author has not been identified. Look up 'Farshad Moradi' in Google
runs on