1
Publications
13
Citations
1
H-Index
2009
Active since
Affiliations
Renaud Clavel is an author at Techniques of Informatics and Microelectronics for Integrated Systems Architecture specializing in computer architecture, automated reasoning, and computer science.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisAutomated Reasoning
Publications per year
2009–2009
1
1
Complementary Formal Approaches for Dependability Analysis
Souheib Baarir, Cécile Braunstein, Renaud Clavel et al. · 2009 · 13 citations
Rows per page
1–1 of 1