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.

Generation and Validation of Frame Conditions in Formal Models

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler. Generation and Validation of Frame Conditions in Formal Models. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. Volume 991 of Communications in Computer and Information Science, pages 259-283, Springer, 2018. [doi]

Authors

Philipp Niemann

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

Nils Przigoda

This author has not been identified. Look up 'Nils Przigoda' in Google

Robert Wille

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

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google
runs on