✦ LIBER ✦

The role of mathematically formal methods in the development and assessment of safety-critical systems

✍ Scribed by Peter Froome; Brian Monahan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The role of formal methods in developing

✍ Martyn Thomas 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 228 KB

The role of probabilistic methods in the

✍ A. Carnino 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 182 KB

The role and use of PC's in probabilisti

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Insects as test systems for assessing th

✍ I. Vernós; M. Carratalá; J. González-Jurado; J.R. Valverde; M. Calleja; A. Domin 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

The role of OR in information systems st

✍ Richard J. Ormerod 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 1000 KB

The role of probabilistic methods in the

✍ K. Köberlein 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 185 KB