Supporting robotic software migration using static analysis and model-driven engineering.

Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou

Browse the full MODELS paper archive.