Aurelio
Arenas Dalla-Vecchia
Profesores Titulares de Universidad
Jose Ambrosio
Toval Alvarez
Catedraticos de Universidad
Publicaciones en las que colabora con Jose Ambrosio Toval Alvarez (2)
2001
-
Formal validation and verification of atomic resolution microscope control and topography
Cybernetics and Systems, Vol. 32, Núm. 8, pp. 851-870
1996
-
Especificación, validación y verificación formal de un microscopio efecto-túnel
II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996