Pedro Ribeiro

Search results

• Finished

  A Calculus for Software Engineering of Mobile and Autonomous Robots

  Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)

  EPSRC

  1/09/15 → 30/06/21

  Project: Research project (funded) › Research