Testing using CSP Models: Time, Inputs, and Outputs

Search results

• Finished

  UK Trustworthy Autonomous Systems Verifiability Node

  CAVALCANTI, A. L. C. (Principal investigator) & Woodcock, J. C. P. (Co-investigator)

  EPSRC

  1/11/20 → 31/10/24

  Project: Research project (funded) › Research

• RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

  CAVALCANTI, A. L. C. (Principal investigator), TIMMIS, J. (Co-investigator) & Woodcock, J. C. P. (Co-investigator)

  EPSRC

  1/04/18 → 31/08/24

  Project: Research project (funded) › Research

• A Calculus for Software Engineering of Mobile and Autonomous Robots

  CAVALCANTI, A. L. C. (Principal investigator), TIMMIS, J. (Co-investigator), Woodcock, J. C. P. (Co-investigator), FOSTER, S. D. (Researcher), LI, W. (Researcher), Miyazawa, A. H. (Researcher) & Ribeiro, P. F. (Researcher)

  EPSRC

  1/09/15 → 30/06/21

  Project: Research project (funded) › Research