✦ LIBER ✦

An approach to formal verification of human–computer interaction

✍ Scribed by Paul Curzon; Rimvydas Rukšėnas; Ann Blandford

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

An approach to sequential circuit diagno

✍ G. Cabodi; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 631 KB

An approach to the formalization of clas

✍ A. A. Dorodnitsyn; M. F. Kaspshitskaya; I. V. Sergienko 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 889 KB

Investigation of an approach to quantita

✍ J. Wong; E. Slessinger; R. Hermes; M. Vannier 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 143 KB

The Formalization of a Cognitive Archite

✍ David Duke; David Duce 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 199 KB

The virtual instrument paradigm: An alte

✍ S.D. Beck 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 429 KB