Specification and Error Pattern Based Program Monitoring (2001)

by K Havelund, Scott Johnson, G Rosu
Venue:European Space Agency Workshop on On-Board Autonomy