Testing robots using CSP

Cavalcanti, A., Baxter, J., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2019) Testing robots using CSP. In: Beyer, D. and Keller, C., (eds.) 13th International Conference on Tests and Proofs (TAP 2019). 13th International Conference on Tests and Proofs, 09-11 Oct 2019, Porto, Portugal. Lecture Notes in Computer Science, 11823 . Springer , pp. 21-38. ISBN 9783030311568



Copyright, Publisher and Additional Information: © 2019 Springer Nature. This is an author-produced version of a paper subsequently published in Tests and Proofs (TAP 2019). Uploaded in accordance with the publisher's self-archiving policy.
  • Accepted: 24 August 2019
  • Published (online): 23 September 2019
  • Published: 23 September 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
Engineering and Physical Science Research Council (EPSRC)EP/R025134/2
Depositing User: Symplectic Sheffield
Date Deposited: 28 Aug 2019 10:32
Last Modified: 24 Sep 2020 00:44
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-030-31157-5_2

Share / Export