Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
| dc.contributor.author | Halder,R | en |
| dc.contributor.author | José Paiva Proença | en |
| dc.contributor.author | Nuno Moreira Macedo | en |
| dc.contributor.author | Santos,A | en |
| dc.date.accessioned | 2018-01-05T17:31:32Z | |
| dc.date.available | 2018-01-05T17:31:32Z | |
| dc.date.issued | 2017 | en |
| dc.description.abstract | en | |
| dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/5582 | |
| dc.identifier.uri | http://dx.doi.org/10.1109/formalise.2017.9 | en |
| dc.language | eng | en |
| dc.relation | 5901 | en |
| dc.relation | 5625 | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | Formal Verification of ROS-Based Robotic Applications Using Timed-Automata | en |
| dc.type | conferenceObject | en |
| dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1