![]() | ![]() |
2001 | ||
---|---|---|
2 | EE | Joaquín Nicolás, José Ambrosio Toval Álvarez, Aurelio Arenas, Juan Alcalde: Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. Cybernetics and Systems 32(8): 851-870 (2001) |
1997 | ||
1 | Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas: Formal Specification of a Scanning Tunnelling Microscope. APPIA-GULP-PRODE 1997: 511-522 |
1 | José Ambrosio Toval Álvarez | [1] [2] |
2 | Aurelio Arenas | [1] [2] |
3 | Joaquín Nicolás | [1] [2] |