✦ LIBER ✦

Using software specification methods for measurement instrument systems: Part 2: Formal methods

✍ Scribed by L Finkelstein; J Huang; A.C.W Finkelstein; B Nuseibeh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using software specification methods for

✍ L Finkelstein; J Huang; A.C.W Finkelstein; B Nuseibeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 748 KB

Experience of using a lightweight formal

✍ Michael Breen 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 304 KB

Using thermoanalytical data. Part 2. The

✍ U.Biader Ceipidor; R. Bucci; A.D. Magrí 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 891 KB

A method for determining the heat energy

✍ R.S. Botny; J. Kaleta; W. Grzebień; W. Adamczewski 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 438 KB