DMCA

Model-checking Middleware-based Event-driven Real-time Embedded Software (2003)

by William Deng , Matthew B. Dwyer , John Hatcliff , Georg Jung , Robby , and Gurdip Singh , Gurdip Singh
Venue:In Proceedings of the 1st International Symposium on Formal Methods for Components and Objects
Citations:37 - 9 self