Matt Luckcuck
- Formal Specification and Verification of Autonomous Robotic Systems
2018/07/31 by Matt Luckcuck, Marie Farrell, Louise A. Dennis +2 · 5 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques