Concepedia

Author

Robin David

Commissariat à l'Énergie Atomique et aux Énergies AlternativesORCID

Also Known As

David, Robin, Robin David

14

Publications

247

Citations

7

H-Index

32

Concepts

All Affiliations

Commissariat à l'Énergie Atomique et aux Énergies AlternativesLaboratoire d'Intégration des Systèmes et des TechnologiesUniversité de LorraineCentre National de la Recherche ScientifiqueVerimag
RD

About

Robin David is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in formal methods, formal verification, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

198

2

Computer Science

5

5

198

3

Computer Engineering

3

3

127

4

Systems Engineering

2

2

103

5

Data Privacy

1

1

49

Robin David

×

7

Publications

241

Citations

7

H-Index

YearCitations

Page 1