✦ LIBER ✦

A sequential real-time refinement calculus

✍ Scribed by Ian J. Hayes; Mark Utting

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Procedures and parameters in the real-ti

✍ Ian J. Hayes 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 507 KB

ZRC – A Refinement Calculus for Z

✍ Ana Cavalcanti; Jim Woodcock 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 149 KB

Drift-Free Real-Time Sequential Mosaicin

✍ Javier Civera; Andrew J. Davison; Juan A. Magallón; J. M. M. Montiel 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 888 KB

A real-time field-sequential stereoscopi

✍ Chul-Ho Choi; Byong-Heon Kwon; Myung-Ryul Choi 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 841 KB

Refinement-Based Verification of Interac

✍ Maria Spichkova 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 425 KB

Towards action refinement for true concu

✍ Mila Majster-Cederbaum; Jinzhao Wu 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 406 KB