Tiago Neto, Rafael Arrais, Armando Sousa, André Santos 0001, Germano Veiga. Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project. In Manuel F. Silva, José Luís Lima, Luís Paulo Reis, Alberto Sanfeliu, Danilo Tardioli, editors, Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019. Volume 1092 of Advances in Intelligent Systems and Computing, pages 632-644, Springer, 2019. [doi]
Abstract is missing.