✦ LIBER ✦

An approach to systems verification

✍ Scribed by William R. Bevier; Warren A. Hunt; J Strother Moore; William D. Young

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 956 KB
Volume: 5
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00243131

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to the dynamic verification

An approach to the dynamic verification of knowledge-based systems

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

An Approach to the Verification of Symme

An Approach to the Verification of Symmetric Parameterized Distributed Systems

✍ I. V. Konnov; V. A. Zakharov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 153 KB

Verification of duration systems using a

Verification of duration systems using an approximation approach

✍ Riadh Robbana 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 897 KB

Investigation of an approach to quantita

Investigation of an approach to quantitative treatmenp verification

✍ J. Wong; E. Slessinger; R. Hermes; M. Vannier 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 143 KB

Pressure relief systems: The sensible ap

Pressure relief systems: The sensible approach to verification and documentation

✍ Aman A. Ahmad 📂 Article 📅 1997 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 234 KB

## Abstract As process safety and risk management stewards, one of the first things we should be concerned about is the reliability of our pressure relief system. The importance of pressure relief systems to the CPI and HPI is paramount. Yet this issue has frequently not received the recognition it

An approach to formal verification of hu

An approach to formal verification of human–computer interaction

✍ Paul Curzon; Rimvydas Rukšėnas; Ann Blandford 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 666 KB