Stacy D. Nelson, Charles Pecheur. Formal Verification for a Next-Generation Space Shuttle. In Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Diana F. Gordon-Spears, editors, Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Volume 2699 of Lecture Notes in Computer Science, pages 53-67, Springer, 2002. [doi]
Abstract is missing.