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.

A Comparison of State-Based Modelling Tools for Model Validation

Emine G. Aydal, Mark Utting, Jim Woodcock. A Comparison of State-Based Modelling Tools for Model Validation. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 278-296, Springer, 2008. [doi]

Authors

Emine G. Aydal

This author has not been identified. Look up 'Emine G. Aydal' in Google

Mark Utting

This author has not been identified. Look up 'Mark Utting' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on