Author
S. Garcı́a-Ferreira
Also Known As
Garcia-Ferreira, S., García-Ferreira Salvador, García-Ferreira, S., S Garcia-Ferreira, S. Garcia-Ferreira, S. García-Ferreira, S. Garcı́a-Ferreira, SALVADOR GARCÍA‐FERREIRA, Salvador Garcia-Ferreira, Salvador García-Ferreira
110
Publications
546
Citations
12
H-Index
12
Concepts
All Affiliations
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 2 | 2 | 91 |
2 | Systems Engineering | 1 | 1 | 71 |
3 | Discrete Mathematics | 1 | 1 | 19 |
4 | Formal Methods | 1 | 1 | 71 |
5 | Formal Verification | 1 | 1 | 71 |
S. Garcı́a-Ferreira
×
16
Publications
329
Citations
12
H-Index
| Year | Citations | |
|---|---|---|
Page 1
Page 1