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.

The Use of Model Transformation in the INESS Project

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King. The Use of Model Transformation in the INESS Project. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 147-165, Springer, 2009. [doi]

Authors

Osmar Marchi dos Santos

This author has not been identified. Look up 'Osmar Marchi dos Santos' in Google

Jim Woodcock

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

Richard F. Paige

Identified as Richard F. Paige

Steve King

This author has not been identified. Look up 'Steve King' in Google
runs on