Specification and Error Pattern Based Program Monitoring (2001)

by K Havelund, S Johnson, G Rosu
Venue:In Proceeding of European Space Agency Workshop on On-Board Autonomy