Testing Robots Using CSP

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31157-5_2 ◽

2019 ◽

pp. 21-38

Author(s):

Ana Cavalcanti ◽

James Baxter ◽

Robert M. Hierons ◽

Raluca Lefticaru

Download Full-text