๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Techniques for verification and validation of safety-related software

Book ID
107919154
Publisher
Elsevier Science
Year
1985
Weight
737 KB
Volume
4
Category
Article
ISSN
0167-8051

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