Research output per year
Research output per year
Search results
-
2018
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer, p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).Research output: Chapter in Book/Report/Conference proceeding › Chapter