Concepedia

Author

Étienne Renault

Centre National de la Recherche ScientifiqueORCID

Also Known As

E. Renault, Etienne Renault, RENAULT, Etienne, Renault, Etienne, Étienne Renault

33

Publications

313

Citations

6

H-Index

5

Concepts

All Affiliations

Centre National de la Recherche Scientifique
ÉR

About

Étienne Renault is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

14

2

Computer Science

1

1

14

3

Formal Methods

1

1

14

4

Formal Verification

1

1

14

5

Verification

1

1

14

Étienne Renault

×

1

Publications

14

Citations

1

H-Index

YearCitations

Page 1