✦ LIBER ✦

[IEEE 2002 IEEE Aerospace Conference - Big Sky, MT, USA (9-16 March 2002)] Proceedings, IEEE Aerospace Conference - Using SPIN model checking for flight software verification

✍ Scribed by Gluck, P.R.; Holzmann, G.J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2002 IEEE Aerospace Conference - B

✍ Webb, E. 📂 Article 📅 2002 🏛 IEEE ⚖ 885 KB

[IEEE 2002 IEEE Aerospace Conference - B

✍ Shaposhnikov, S.S.; Garmash, V.N. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 595 KB

[IEEE 2002 IEEE Aerospace Conference - B

✍ Varanasi, P.; Tyler, S. 📂 Article 📅 2002 🏛 IEEE ⚖ 870 KB

[IEEE 2002 IEEE Aerospace Conference - B

✍ Kowbel, W.K.; Woida, R.; Withers, J.C. 📂 Article 📅 2002 🏛 IEEE ⚖ 608 KB

[IEEE 2002 IEEE Aerospace Conference - B

✍ Steyskal, H. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 339 KB

[IEEE 2002 IEEE Aerospace Conference - B

✍ de Freitas, N. 📂 Article 📅 2002 🏛 IEEE ⚖ 484 KB