Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt
ORCID: 0000-0002-6444-9312 and Fisher, Michael
ORCID: 0000-0002-0875-3862
(2018)
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
.
![]() |
Text
1805.11996v1.pdf - Submitted Version Download (122kB) |
![]() |
Text
ifmfinal.pdf - Accepted Version Download (140kB) |
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Depositing User: | Symplectic Admin |
Date Deposited: | 26 Sep 2018 10:06 |
Last Modified: | 09 Jan 2021 05:20 |
DOI: | 10.1007/978-3-319-98938-9_10 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3023589 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)