Nadège Pontisso is an author at European Space Agency specializing in system software, software engineering, and formal verification.
Top concepts
DesignEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2006–2006
1
1
Rows per page
1–1 of 1