Concepedia

Author

Dániel Darvas

European Organization for Nuclear ResearchORCID

Also Known As

Daniel Darvas, Darvas, DáNiel, Darvas, Dániel, D´niel Darvas, Dániel Darvas, Prieto Diaz, Ignacio

30

Publications

346

Citations

10

H-Index

20

Concepts

All Affiliations

European Organization for Nuclear ResearchUniversidad de OviedoBudapest University of Technology and EconomicsRMIT University
DD

About

Dániel Darvas is an author at European Organization for Nuclear Research specializing in program analysis, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

161

2

Computer Science

6

6

161

3

Systems Engineering

6

6

161

4

Computer Engineering

5

5

141

5

Control Systems

2

2

37

Dániel Darvas

×

8

Publications

181

Citations

8

H-Index

YearCitations

Page 1