✦ LIBER ✦

Engineering formal requirements: An analysis and testing method for Z documents

✍ Scribed by P. Ciancarini; S. Cimato; C. Mascolo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Systems modeling & requirements specific

✍ Jonah Z. Lavi; Joseph Kudish 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 526 KB

Model validation for embedded systems us

✍ Karlsson, D.; Eles, P.; Peng, Z. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 520 KB

Integrated security analysis framework f

✍ Bera, P.; Ghosh, S.K.; Dasgupta, P. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 925 KB

Engineering designers' experience of des

✍ Mattias Lindahl 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Discrepant Analysis: A Biased and an Uns

✍ Alula Hadgu 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 170 KB