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.

Migration of Legacy Software Towards Correct-by-Construction Timing Behavior

Stefan Resmerita, Kenneth Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree. Migration of Legacy Software Towards Correct-by-Construction Timing Behavior. In Radu Calinescu, Ethan K. Jackson, editors, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Volume 6662 of Lecture Notes in Computer Science, pages 55-76, Springer, 2010. [doi]

Authors

Stefan Resmerita

This author has not been identified. Look up 'Stefan Resmerita' in Google

Kenneth Butts

This author has not been identified. Look up 'Kenneth Butts' in Google

Patricia Derler

This author has not been identified. Look up 'Patricia Derler' in Google

Andreas Naderlinger

This author has not been identified. Look up 'Andreas Naderlinger' in Google

Wolfgang Pree

This author has not been identified. Look up 'Wolfgang Pree' in Google
runs on