𝔖 Bobbio Scriptorium

✦ LIBER ✦

White and grey-box verification and validation approaches for safety- and security-critical software systems

✍ Scribed by Francesca Saglietti; Norbert Oster; Florin Pinte

Book ID: 104019126
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 216 KB
Volume: 13
Category: Article
ISSN: 1363-4127
DOI: 10.1016/j.istr.2008.03.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guideline for verification and validatio

Guideline for verification and validation of safety related software — a report of a TC7 systems reliability, safety and security committee

📂 Article 📅 1984 🏛 Elsevier Science ⚖ 645 KB

Guideline for verification and validatio

Guideline for verification and validation of safety-related software: Prepared by Committee TC 7 Systems Reliability, Safety & Security of the European Workshop on Industrial Computer Systems (EWICS)

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 688 KB

[IEEE 2012 IEEE Fifth International Conf

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - An Integrated Model-Driven Approach for Mechatronic Systems Testing

✍ Silva Filho, Roberto S.; Budnik, Christof J. 📂 Article 📅 2012 🏛 IEEE ⚖ 828 KB