Efficient run-time assurance in distributed systems through selection of executable assertions

Martina Schollmeyer, Bruce M. McMillin. Efficient run-time assurance in distributed systems through selection of executable assertions. Journal of Systems and Software, 52(1):33-54, 2000. [doi]

Abstract

Abstract is missing.