Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Miyazawa, Alvero, Ribero, Pedro, Cavalcanti, Anna, Timmis, Jonathan and Woodcock, Jim (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software Systems and Modelling, 18. pp. 3097-3149.

This list was generated on Mon Feb 26 10:44:20 2024 GMT.