Publikationen, an denen er mitarbeitet Jose Ambrosio Toval Alvarez (2)

2001

  1. Formal validation and verification of atomic resolution microscope control and topography

    Cybernetics and Systems, Vol. 32, Núm. 8, pp. 851-870

1996

  1. 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