SURE

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

Login

Group by: Item Type | No Grouping

Jump to: Article | Book

Number of items: 2.

Article

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.

Book

Cavalcanti, Ana, Dongol, Brijesh, Hierons, Rob, Timmis, Jonathan and Woodcock, Jim (2021) Software Engineering for Robotics. Springer. ISBN 9783030664947

This list was generated on Wed Dec 25 18:58:37 2024 GMT.