✦ LIBER ✦

Formal Methods Technology Transfer: A View from NASA

✍ Scribed by James L. Caldwell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Technology transfer: A taxonomic view

✍ Arnold Reisman 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 556 KB

Preface: special issue on NASA Formal Me

✍ César A. Muñoz 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 68 KB

Measuring the Economic Returns from Succ

✍ Henry R. Hertzfeld 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 89 KB

University-Industry Collaboration on Tec

✍ Yong S. Lee 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 1004 KB

Modeling NASA swarm-based systems: using

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB

A Soviet view of human factors, decision

✍ Robert E. Watts 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 699 KB