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
Killing gateways: Applying the RTSframework to improve avioncs systems performance
Colonese, E.M., Nobre, J.C., Anjos, L.S., Oliveira, J.M.P.
Published in 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (01.10.2008)
Published in 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (01.10.2008)
Get full text
Conference Proceeding
Self-adaptive component-based interoperability framework for real-time systems
Colonese, E.M., Loubach, D.S., da Cunha, A.M.
Published in 2007 IEEE/AIAA 26th Digital Avionics Systems Conference (01.10.2007)
Published in 2007 IEEE/AIAA 26th Digital Avionics Systems Conference (01.10.2007)
Get full text
Conference Proceeding