𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification and validation of the flux reconstruction method for CANDU® applications

✍ Scribed by M. Dahmani; B. Phelps; W. Shen

Book ID
113458845
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
942 KB
Volume
38
Category
Article
ISSN
0306-4549

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Leve
[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 || Learning Techniques for Software Verification and Validation
✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 70 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic