✦ LIBER ✦

Automated model verification of the International Space Station for path planning

✍ Scribed by W.F.W. Haak; F.C.A. Groen; E. Holweg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strategic planning for the international

✍ Carolyn S. Griner 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Planning for the scientific use of the i

✍ R.E. Halpern 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 774 KB

Physical sciences research plans for the

✍ E.H. Trinh 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 863 KB

International harmony on plans for the U

✍ Anderson, Alun 📂 Article 📅 1987 🏛 Nature Publishing Group 🌐 English ⚖ 137 KB

NASA's international microgravity strate

✍ Judith L. Robey 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 807 KB

The Mode of Gravitational Orientation fo

✍ V. I. Vetlov; S. M. Novichkova; V. V. Sazonov; N. V. Matveev; E. V. Babkin 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 128 KB