Old Web
English
Sign In
Acemap
>
authorDetail
>
Rafael Garlet de Oliveira
Rafael Garlet de Oliveira
Humanities
Art
Modeling language
Runtime verification
Correctness
4
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Relato Analítico de um Projeto de Extensão Tecnológica com Robótica Pedagógica usando Tecnologia Arduino, em Santa Catarina
2019
Illyushin Zaak Saraiva
Ícaro Ilo Silva
Ricardo Antonello
Rafael Garlet de Oliveira
Raphael Da Costa Neves
Matheus Souza de Lacerda
Luiz Guilherme Menezes Santos
Thiago Tavares Abreu
Maicon Renan Brand
Show All
Source
Cite
Save
Citations (0)
OFICINA DE MONTAGEM E PROGRAMAÇÃO COM KITS LEGO
2014
Rafael Garlet de Oliveira
Lucas Eduardo Koch Ernzen
Hiago Vinicius Piovesan Bahú
Eduardo Zampieri Dalposso
Ricardo Antonello
Show All
Source
Cite
Save
Citations (0)
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs
2011
Rafael Garlet de Oliveira
Gabriel H. R. Santos
Jean-Marie Alexandre Farines
Leandro Buss Becker
Show All
Source
Cite
Save
Citations (2)
1