jose-creissac-campos documents

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