Concepedia

Author

A. Ramfrez-Trevino

Universidad de Guadalajara

Also Known As

A. Ramfrez-Trevino

2

Publications

39

Citations

2

H-Index

8

Concepts

All Affiliations

Universidad de Guadalajara
AR

About

A. Ramfrez-Trevino is an author at Universidad de Guadalajara specializing in formal verification, computer engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

30

2

Computer Engineering

1

1

30

3

Computer Science

1

1

30

4

Systems Engineering

1

1

30

5

Process Control

1

1

30

A. Ramfrez-Trevino

×

1

Publications

30

Citations

1

H-Index

YearCitations

Page 1