FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY

DOI10.1080/019697201753229836MaRDI QIDQ4781450zbMATH OpenOpenAlexFDO

Authors Joaquín Nicolás, Ambrosio Toval, Aurelio Arenas, Juan Alcalde

Publication date 21 January 2003

Published in Cybernetics and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/019697201753229836

Mathematics Subject Classification ID

Application models in control theory (93C95)

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• Parameterized Programming

Describes a project that uses

Uses Software

• Z
• 2OBJ
• Maude
• CafeOBJ
• OBJ3
• LARCH

This page was built for publication: FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4781450)