Concepedia

Author

Karina R. G. da Silva

Universidade Federal de Campina Grande

Also Known As

Karina R. G. da Silva

10

Publications

58

Citations

4

H-Index

19

Concepts

All Affiliations

Universidade Federal de Campina Grande
KR

About

Karina R. G. da Silva is an author at Universidade Federal de Campina Grande specializing in formal verification, computer engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

45

2

Computer Engineering

2

2

45

3

Computer Science

1

1

33

4

Systems Engineering

1

1

33

5

Computer Architecture

1

1

33

Karina R. G. da Silva

×

2

Publications

45

Citations

2

H-Index

YearCitations

Page 1