NASA Monographs in Systems and Software Engineering
David G. Simpson and Others
Series • 6 Books • Computers
ACS Without an Attitude
Harold L. Hallock, Gary Welter, David G. Simpson & Christopher Rouff
Provably Correct Systems
Mike Hinchey, Jonathan P. Bowen & Ernst-Rüdiger Olderog
Autonomy Requirements Engineering for Space Missions
Emil Vassev & Mike Hinchey
Agent Technology from a Formal Perspective
Christopher Rouff
Semantic Web: Concepts, Technologies and Applications
Karin Breitman, Marco Antonio Casanova & Walt Truszkowski
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey & Roy Sterritt