Juan Alcalde

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Joaquín Nicolás, José Ambrosio Toval Álvarez, Aurelio Arenas, Juan Alcalde
Formal Validation and Verification of Atomic Resolution Microscope Control and Topography. Cybern. Syst. 32 (8) (2001)
Joaquín Nicolás, Juan Alcalde, José Ambrosio Toval Álvarez, Aurelio Arenas
Formal Specification of a Scanning Tunnelling Microscope. APPIA-GULP-PRODE (1997)