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.

Verification of MARTE/CCSL Time Requirements in Promela/SPIN

Ling Yin, Frédéric Mallet, Jing Liu. Verification of MARTE/CCSL Time Requirements in Promela/SPIN. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 65-74, IEEE Computer Society, 2011. [doi]

Authors

Ling Yin

This author has not been identified. Look up 'Ling Yin' in Google

Frédéric Mallet

This author has not been identified. Look up 'Frédéric Mallet' in Google

Jing Liu

This author has not been identified. Look up 'Jing Liu' in Google
runs on