✦ LIBER ✦

Model checker aided design of a controller for a wafer scanner

✍ Scribed by Martijn Hendriks; Barend van den Nieuwelaar; Frits Vaandrager

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer-aided method for digital cont

✍ S.K. Nagar; Jayanta Pal; J.D. Sharma 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

Computer-aided controller design environ

✍ A. Nassirharand 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 691 KB

Comments on: “A computer-aided method fo

✍ Ubaid M. Al-Saggaf 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 83 KB

Computer-aided design model for a quantu

✍ Tankiz, S.; Çelebi, F.V.; Yildirim, R. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 317 KB

Model-based computer-aided design enviro

✍ Hossam A Gabbar; Atsushi Aoyama; Yuji Naka 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 922 KB

Modeling data communications controls: A

✍ Joseph C. Chao; James C. Hershauer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 355 KB