placeholder image

Pedroza, Gabriel

Person

Positions

, Laboratoire Traitement et Communication de l’Information

selected publications

conference paper
- AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties. . 1-10. 2011

full name

Gabriel Pedroza

Publications in VIVO

Co-author Network