Concepedia

Author

Jaime Espinosa

Also Known As

Jaime Espinosa

14

Publications

41

Citations

4

H-Index

14

Concepts

All Affiliations

JE

About

Jaime Espinosa is an author at Universitat Politècnica de Catalunya specializing in embedded systems, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

16

2

Computer Engineering

1

1

16

3

Computer Science

1

1

16

4

Systems Engineering

1

1

16

5

Embedded Systems

1

1

16

Jaime Espinosa

×

1

Publications

16

Citations

1

H-Index

YearCitations

Page 1