Testing using CSP Models: Time, Inputs, and Outputs

James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons

Research output: Contribution to journal › Article › peer-review

Filter

Finished

UK Trustworthy Autonomous Systems Verifiability Node
Cavalcanti, A. L. C. (Principal investigator) & Woodcock, J. (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. (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. (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

Projects