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.

State-based Analysis and UML-driven Equivalence Checking for C++ State Machines

Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss. State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. In Stefan Gruner, Bernhard Rumpe, editors, FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). Volume 179 of LNI, pages 49-62, GI, 2010.

Authors

Patrick Heckeler

This author has not been identified. Look up 'Patrick Heckeler' in Google

Jörg Behrend

This author has not been identified. Look up 'Jörg Behrend' in Google

Thomas Kropf

This author has not been identified. Look up 'Thomas Kropf' in Google

Jürgen Ruf

This author has not been identified. Look up 'Jürgen Ruf' in Google

Wolfgang Rosenstiel

This author has not been identified. Look up 'Wolfgang Rosenstiel' in Google

Roland J. Weiss

This author has not been identified. Look up 'Roland J. Weiss' in Google
runs on