✦ LIBER ✦

Formal requirements analysis of an avionics control system

✍ Scribed by Dutertre, B.; Stavridou, V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Analysis of Memory Requirements

✍ Walter Hussak; John A. Keane 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 102 KB

Formal specification of an access contro

✍ Susan Stepney; Stephen P. Lord 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 903 KB

An overview of formal methodological req

✍ J. Hornung 📂 Article 📅 1992 🏛 Harcourt Health Sciences 🌐 English ⚖ 134 KB

The Development of Operational Requireme

✍ Little, David S. 📂 Article 📅 1958 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 743 KB

Analysis of requirements for critical co

✍ Alcaraz, Cristina; Lopez, Javier 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 860 KB

Engineering formal requirements: An anal

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