Runtime Assurance Based on Formal Speci (1999)

by Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
Venue:In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications