Verification and Validation of AI Systems that Control Deep-Space Spacecraft

Compositional specification of software architecture

ISAW '98 Proceedings of the third international workshop on Software architecture

Component-Based Reconfigurable Systems

Computer

Analytic Verification of Flight Software

IEEE Intelligent Systems

The Impact of Autonomy Technology on Spacecraft Software Architecture: A Case Study

IEEE Intelligent Systems

Verification of behaviour networks using finite-state automata

KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence