Skip to content
@Sevenqi7
Seven7VII Sevenqi7

Northwestern Polytechnical University Xi'an, Shaan Xi

@EhsanKhodadad
Ehsan Khodadad EhsanKhodadad
PhD Student at DTU

Copenhagen, Denmark

@pedrovitorfg
Pedro Vitor Ferreira Gonçalves pedrovitorfg
Brazilian software engineer, SDDP, Embedded Software, Shiny

Universidade de Brasília

@yongqian10
yongqian yongqian10

penang, malaysia

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@mahmood1994ha
Mahmoud Bazzal mahmood1994ha
I build tools to enable Model-Based Systems Engineering

Heinz-Nixdorf Insitute Paderborn