DMCA

Runtime Assurance Based On Formal Specifications (1999)

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