-
1مؤتمر
المؤلفون: 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)
-
2مؤتمر
المؤلفون: 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)
-
3مؤتمر
المؤلفون: 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)
-
4مؤتمر
المؤلفون: 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)
-
5تقرير
المؤلفون: 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
-
6تقرير
المؤلفون: 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
-
7
المؤلفون: 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 -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.