Login / Signup
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior.
Stefan Resmerita
Kenneth R. Butts
Patricia Derler
Andreas Naderlinger
Wolfgang Pree
Published in:
Monterey Workshop (2010)
Keyphrases
</>
legacy software
case study
high level
source code
legacy systems