ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
JoseCreissacCampos

Jose Creissac Campos

1 ºÝºÝߣShare12 Followers1 Following
1 ºÝºÝߣShare12 Followers1 Following

Presentations(1)Ìý

Independent Formal Verification of Safety-Critical Systems’ User Interfaces: a space system case study
Independent Formal Verification of Safety-Critical Systems’ User Interfaces: a space system case studyIndependent Formal Verification of Safety-Critical Systems’ User Interfaces: a space system case study
Independent Formal Verification of Safety-Critical Systems’ User Interfaces: a space system case study
Ìý