✦ LIBER ✦

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

✍ Scribed by Guillaume Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Mike Lowry; Corina Pasareanu; Arnaud Venet; Willem Visser; Rich Washington

Book ID: 111582565
Publisher: Springer
Year: 2004
Tongue: English
Weight: 376 KB
Volume: 25
Category: Article
ISSN: 0925-9856
DOI: 10.1023/b:form.0000040027.28662.a4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest editors’ introduction to the 3rd i

Guest editors’ introduction to the 3rd issue of Experimental Software and Toolkits (EST): A special issue on Academic Software Development Tools and Techniques (WASDeTT 2008)

✍ Mark G.J. van den Brand; Kim Mens 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 190 KB

Evaluation of three methods for retrospe

Evaluation of three methods for retrospective correction of vignetting on medical microscopy images utilizing two open source software tools

✍ GEORGIOS BABALOUKAS; NICHOLAS TENTOLOURIS; STAVROS LIATIS; ALEXANDRA SKLAVOUNOU; 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB

Effect of the mode of action of an oscil

Effect of the mode of action of an oscillating soil-working tool on draft and power requirements. A theoretical analysis and an experimental verification

✍ P.V. Narayanarao; S.R. Verma 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 899 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

O8. A report on the development and vali

O8. A report on the development and validation of a specific speech evaluation tool “The London Speech Evaluation ‘LSE’ scale” for Head and Neck Cancer (HNC) patients

✍ R. Dwivedi; S. St. Rose; E. Chisholm; R. Heywood; C. Kerawala; P. Clarke 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 45 KB

From experimental research to an on-farm

From experimental research to an on-farm tool for participatory monitoring and evaluation: an assessment of soil erosion risk in organic olive orchards

✍ J. Milgroom; J. A. Gómez; M. A. Soriano; E. Fereres 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 439 KB

## Abstract The conservation of soil in agricultural systems prone to erosion can occur as a result of conscientious soil management practices by individual farmers. Although soil is one of the world's most important and highly threatened natural resources, and should be among the top priorities in