A Calculus for Software Engineering of Mobile and Autonomous Robots

Cavalcanti, Ana Lucia Caneca (Principal investigator)
Timmis, Jon (Co-investigator)
Woodcock, Jim (Co-investigator)
Foster, Simon David (Researcher)
Li, Wei (Researcher)
Miyazawa, Alvaro (Researcher)
Ribeiro, Pedro (Researcher)

Project: Research project (funded) › Research

3 Invited talk
2 Seminar/workshop/course
2 Public engagement and outreach (general)
1 Academic
More

1 results
- Title
- Start date(ascending)

Filter

Keith Lines
Jim Woodcock (Host), Leonardo Freitas (Host) & Bill Scott (Host)
31 May 2019
Activity: Hosting a visitor › Academic