Concepedia

Author

I. Jimenez-Ochoa

Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional

Also Known As

I. Jimenez-Ochoa, Italia Jiménez-Ochoa

3

Publications

16

Citations

2

H-Index

11

Concepts

All Affiliations

Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional
IJ

About

I. Jimenez-Ochoa is an author at Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional specializing in formal verification, formal methods, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

13

2

Computer Engineering

1

1

13

3

Computer Science

1

1

13

4

Systems Engineering

1

1

13

5

Process Control

1

1

13

I. Jimenez-Ochoa

×

1

Publications

13

Citations

1

H-Index

YearCitations

Page 1