✦ LIBER ✦

Formal Analysis of Memory Requirements

✍ Scribed by Walter Hussak; John A. Keane

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal requirements analysis of an avion

✍ Dutertre, B.; Stavridou, V. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 214 KB

Formal Specifications of User Requiremen

✍ Robert G. Clark; Ana M.D. Moreira 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 171 KB

A formal requirements specification meth

✍ Shaoying Liu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Engineering formal requirements: An anal

✍ P. Ciancarini; S. Cimato; C. Mascolo 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 310 KB

Formalized specification of functional r

✍ K. Jacobsen; J. Sigurjónsson; Ø. Jakobsen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 324 KB

Formal analysis and design for engineeri

✍ Hassan, R.; Eltoweissy, M.; Bohner, S.; El-Kassas, S. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 505 KB