Disciplinas
Cerficado Computação
Seminário Verificação Formal
Ensino
arrow_drop_down
Ensino
arrow_drop_down
Disciplinas
Certificado Computação
Seminário Verificação Formal
menu
Alair Dias Júnior
Wearable Devices
Aplicações em
smart-health
e
smart-living
.
Dispositivos, modelos e estratégias visando substituição e ampliação sensorial.
Cyber-physical Systems e Internet das Coisas
Aplicações em
smart-living
,
smart-buildings
e indústria 4.0.
Métodos e ferramentas para projeto validação e verificação.
Electronic Design Automation (EDA)
Métodos e ferramentas para projeto, validação e verificação de Systems-on-chip (SoCs) descritos em alto nível de abstração.