Model Checker Aided Design of a Controller for a Wafer Scanner

M. Hendriks, N.J.M. Nieuwelaar, van den, F.W. Vaandrager

Research output: Contribution to journalArticleAcademicpeer-review

12 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model Checker Aided Design of a Controller for a Wafer Scanner'. Together they form a unique fingerprint.

Computer Science