Runtime Assurance Based On Formal Specifications (1999)

by Insup Lee , Sampath Kannan , Moonjoo Kim , Oleg Sokolsky , Mahesh Viswanathan
Citations:72 - 9 self