ForSyDe
Users following forsyde
Pedro Vitor Ferreira Gonçalves
pedrovitorfg
Brazilian software engineer, SDDP, Embedded Software, VHDL, DO-178C
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
