Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

Thumbnail Image
Files
P-00M-YNE.pdf (1.39 MB)
Date
2017
Authors
Halder,R
José Paiva Proença
Nuno Moreira Macedo
Santos,A
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5582
 http://dx.doi.org/10.1109/formalise.2017.9
Collections
HASLab - Indexed Articles in Conferences