Sandra Ayache is an author at Daimler (Germany) specializing in formal verification, formal methods, and reliability.
Top concepts
EngineeringReliabilityVerificationFormal MethodsFault ToleranceSoftware DesignSoftware TestingSoftware AnalysisSpace EngineeringFormal Verification
Publications per year
2002–2002
1
1
Formal methods for the validation of fault tolerance in autonomous spacecraft
Sandra Ayache, Eric Conquet, Pascal Humbert et al. · 2002 · 20 citations
Rows per page
1–1 of 1