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.

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille. Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. In Andreas Oberweis, Ralf H. Reussner, editors, Modellierung 2016, 2.-4. März 2016, Karlsruhe. Volume 254 of LNI, pages 117-124, GI, 2016.

Authors

Frank Hilken

This author has not been identified. Look up 'Frank Hilken' in Google

Philipp Niemann

This author has not been identified. Look up 'Philipp Niemann' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google
runs on