Aurelio
Arenas Dalla-Vecchia
Profesores Titulares de Universidad
Joaquin
Nicolas Ros
Catedraticos de Universidad
Joaquin Nicolas Ros-rekin lankidetzan egindako argitalpenak (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