Runtime Assurance Based On Formal Specifications (1999)

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