✦ LIBER ✦

A Visual Tradeoff Space for Formal Verification and Validation Techniques

✍ Scribed by Drusinsky, D.; Michael, J.B.; Shing, M.-T.

Book ID: 114571758
Publisher: Institute of Electrical and Electronics Engineers
Year: 2008
Tongue: English
Weight: 366 KB
Volume: 2
Category: Article
ISSN: 1932-8184
DOI: 10.1109/jsyst.2008.2009190

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

Study of a Bistatic Radar System Using V

Study of a Bistatic Radar System Using VLBI Technologies for Detecting Space Debris and the Experimental Verification of its Validity

✍ Masanobu Yajima; Kazutomo Tsuchikawa; Toshiyuki Murakami; Kazuyoshi Katsumoto; T 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 464 KB