Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus
Branquinho Ramos, Diogo, Aparecida Busquim e Silva, Rovedy, Capistrano Costa, Inaldo, Colonese, Emilia M., Parente de Oliveira, Jose Maria
Published in 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (01.10.2011)
Published in 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (01.10.2011)
Get full text
Conference Proceeding
Modeling conflicts resolution of unmanned aircraft system using a lightweight duration calculus
Correa, Guilherme, Ramos, Diogo Branquinho, e Silva, Rovedy Aparecida Busquim, Costa, Inaldo Capistrano, Colonese, Emilia M., de Oliveira, Jose Maria Parente
Published in 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (01.10.2011)
Published in 2011 IEEE/AIAA 30th Digital Avionics Systems Conference (01.10.2011)
Get full text
Conference Proceeding