✦ LIBER ✦

Verification and validation of ICME methods and models for aerospace applications

✍ Scribed by Bradford Cowles, Dan Backman, Rollie Dutton

Book ID: 119915393
Publisher: Springer-Verlag
Year: 2012
Tongue: English
Weight: 1020 KB
Volume: 1
Category: Article
ISSN: 2193-9772
DOI: 10.1186/2193-9772-1-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

System Health Management (With Aerospace

System Health Management (With Aerospace Applications) || Verification and Validation

✍ Johnson, Stephen B.; Gormley, Thomas J.; Kessler, Seth S.; Mott, Charles D.; Pat 📂 Article 📅 2011 🏛 John Wiley & Sons, Ltd 🌐 English ⚖ 594 KB

***System Health Management: with Aerospace Applications*** provides the first complete reference text for System Health Management (SHM), the set of technologies and processes used to improve system dependability. Edited by a team of engineers and consultants with SHM design, development, and resea

Verification and validation of the flux

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

✍ M. Dahmani; B. Phelps; W. Shen 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 942 KB

Verification and validation for quality

Verification and validation for quality of UML 2.0 models

✍ Bhuvan Unhelkar 📂 Library 📅 2005 🏛 John Wiley 🌐 English ⚖ 3 MB

This book deals primarily with the creation and enhancement of the quality of software models. The Unified Modeling Language (UML) of the Object Management Group forms the basis of the software models discussed in this book; through its standard visual models, UML provides the much needed common mec

Comparing 10 Methods for Solution Verifi

Comparing 10 Methods for Solution Verification, and Linking to Model Validation

✍ Logan, Roger W.; Nitta, Cynthia K. 📂 Article 📅 2006 🏛 American Institute of Aeronautics and Astronautics 🌐 English ⚖ 311 KB

Pharmacophore modelling: methods, experi

Pharmacophore modelling: methods, experimental verification and applications

✍ Arup K. Ghose; John J. Wendoloski 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 154 KB

[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