Rodrigo Saar de Moraes

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2021) Abstraction models for verifying resource adequacy of IMA systems at concept level Science of Computer Programming , Vol. 208

Continue to DOI

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2020) Verifying Resource Adequacy of Networked IMA Systems at Concept Level Formal Techniques for Safety-Critical Systems , s. 40-56

Continue to DOI

Rodrigo Saar de Moraes, Edison Pignaton de Freitas (2020) Multi-UAV Based Crowd Monitoring System IEEE Transactions on Aerospace and Electronic Systems , Vol. 56 , s. 1332-1345

Continue to DOI

Rodrigo Saar de Moraes, Edison P. de Freitas (2019) Experimental analysis of heuristic solutions for the moving target traveling salesman problem applied to a moving targets monitoring system Expert systems with applications , Vol. 136 , s. 392-409

Continue to DOI

Rodrigo Saar de Moraes

Publications Show/Hide content

2021

2020

2019

Tags Show/Hide content

Rodrigo Saar de Moraes

Publications Show/Hide content

2021

2020

2019

Tags Show/Hide content

Share on