Pedro Vitor Ferreira Gonçalves
pedrovitorfg
Brazilian software engineer, SDDP, Embedded Software, Shiny
Universidade de Brasília
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mahmoud Bazzal
mahmood1994ha
I build tools to enable Model-Based Systems Engineering
Heinz-Nixdorf Insitute Paderborn