Concepedia

Author

Erik Tidén

Software (Spain)

Also Known As

E. N. Tiden, E. Tiden, Erik Tiden, Erik Tidén

9

Publications

133

Citations

6

H-Index

5

Concepts

All Affiliations

Software (Spain)
ET

About

Erik Tidén is an author at Software (Spain) specializing in formal verification, automated reasoning, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

50

2

Computer Science

2

2

50

3

Automated Reasoning

2

2

50

4

Formal Methods

2

2

50

5

Formal Verification

2

2

50

Erik Tidén

×

2

Publications

50

Citations

2

H-Index

YearCitations

Page 1