Personal Information
Cargo
CEO/CTO
Marcadores
formal methods
rtos
systems engineering
concurrent programming
parallel programming
safety integrity levels
safety assurance
sil
multicore programming
safety engineering
goedelworks
operating systems
Ver mais