✦ LIBER ✦

Model-Based Design, Development and Validation for UAS Critical Software

✍ Scribed by Daniel Santamaría; Francisco Alarcón; Antonio Jiménez; Antidio Viguria; Manuel Béjar; Aníbal Ollero

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and development of control softwa

✍ B.S.V. Prasad; M.V.V. Vidyasagar; G.J. Gururaja 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 387 KB

Hierarchical spiral model for informatio

✍ J Iivari 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 1011 KB

Development and validation of a simulati

✍ Tzanakos, G.; Pavlopoulos, S. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 529 KB

A Web-based Software Framework for Aircr

✍ Feng Haocheng; Luo Mingqiang; Liu Hu; Wu Zhe 📂 Article 📅 2011 🏛 Elsevier ⚖ 624 KB

The automation design advisor tool (ADAT

✍ Angelia Sebok; Christopher Wickens; Nadine Sarter; Stacey Quesada; Connie Socash 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB

Development and Validation of Hierarchic

✍ Ivan Arsie; Michele Gambino; Cesare Pianese; Gianfranco Rizzo 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 790 KB