المؤلفون: Chagas, Ana Carolina, Gonzaga, Davi, Albuquerque, Leonardo, Oliveira, Flavia, Castro, Renata, Chaves, Lennon

المصدر: 2023 3rd International Conference on Information Communication and Software Engineering (ICICSE) Information Communication and Software Engineering (ICICSE), 2023 3rd International Conference on. :15-20 Apr, 2023

Relation: 2023 3rd International Conference on Information Communication and Software Engineering (ICICSE)

المؤلفون: Meireles, Maria, de Souza, Camilo, de Barros, Francisco Caio, Chaves, Lennon, de Castro, Renata, Giuntini, Felipe

المصدر: 2022 4th International Conference on Computer Science and Technologies in Education (CSTE) CSTE Computer Science and Technologies in Education (CSTE), 2022 4th International Conference on. :47-54 May, 2022

Relation: 2022 4th International Conference on Computer Science and Technologies in Education (CSTE)

المؤلفون: da Costa, Antonio B., Meireles, Maria, de Barros, Francisco Caio, Mota, Gaspar, Chaves, Lennon, Roque, Lidia

المصدر: 2022 IEEE 2nd International Conference on Information Communication and Software Engineering (ICICSE) Information Communication and Software Engineering (ICICSE), 2022 IEEE 2nd International Conference on. :231-231 Mar, 2022

Relation: 2022 IEEE 2nd International Conference on Information Communication and Software Engineering (ICICSE)

المؤلفون: Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Chaves, Lennon, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

المصدر: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :919-924 Oct, 2017

Relation: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Chaves, Lennon, Bessa, Iury, Cordeiro, Lucas, Kroening, Daniel, Filho, Eddie

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Logic in Computer Science, C.3, D.2.4, I.2.2

URL الوصول: http://arxiv.org/abs/1702.05591

المؤلفون: Chaves, Lennon, Bessa, Iury, Cordeiro, Lucas, Kroening, Daniel

مصطلحات موضوعية: Computer Science - Systems and Control, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1610.07066

المؤلفون: Chaves, Lennon Corr??a

المساهمون: Cordeiro, Lucas Carvalho, Lima Filho, Eddie Batista de

المصدر: Biblioteca Digital de Teses e Dissertações da UFAM
Universidade Federal do Amazonas (UFAM)
instacron:UFAM

مصطلحات موضوعية: ENGENHARIA EL??TRICA [ENGENHARIAS], Verifica????o simb??lica de modelos, Controladores de ponto-fixo, Ve??culos A??reos n??o tripulados, Sistemas Embarcados

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::989aca9413b8690eb7a4726d2ddaa47e
https://tede.ufam.edu.br/handle/tede/6368

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.