External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Contracts for Model Execution Verification

Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Contracts for Model Execution Verification. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 3-18, Springer, 2011. [doi]

Authors

Eric Cariou

This author has not been identified. Look up 'Eric Cariou' in Google

Cyril Ballagny

This author has not been identified. Look up 'Cyril Ballagny' in Google

Alexandre Feugas

This author has not been identified. Look up 'Alexandre Feugas' in Google

Franck Barbier

This author has not been identified. Look up 'Franck Barbier' in Google
runs on