𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Model checking of safety-critical software in the nuclear engineering domain

✍ Scribed by J. Lahtinen; J. Valkonen; K. Björkman; J. Frits; I. Niemelä; K. Heljanko

Book ID
116862624
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
637 KB
Volume
105
Category
Article
ISSN
0951-8320

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling the nuclear magnetic resonance
Modeling the nuclear magnetic resonance behavior of lung: From electrical engineering to critical care medicine
✍ Antonio G. Cutillo; David C. Ailion 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 339 KB 👁 2 views

The present article reviews the basic principles of a new approach to the characterization of pulmonary disease. This approach is based on the unique nuclear magnetic resonance (NMR) properties of the lung and combines experimental measurements (using specially developed NMR techniques) with theoret