✦ LIBER ✦

Automated validation of distributed software using the IF environment

✍ Scribed by Marius Bozga; Susanne Graf; Laurent Mounier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The software architecture of a distribut

✍ Walker, D. W. ;Li, M. ;Rana, O. F. ;Shields, M. S. ;Huang, Y. 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

Postmortem validation of the automated c

✍ Rob J. van der Geest; Kenneth G. Morris; Jack T. Cusma; Johan H. C. Reiber 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 910 KB

A new approach in development of distrib

✍ P. Dhavachelvan; G.V. Uma; V.S.K. Venkatachalapathy 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Validation of the k0_IAEA software using

✍ M. A. B. C. Menezes; R. Jaćimović 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 181 KB

Use of structured design and development

✍ Megan Klein Gruber 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 539 KB

The design and analysis of real-time sys

✍ Paul Z. Kolano; Zhe Dang; Richard A. Kemmerer 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 295 KB