|
Model-checking Middleware-based Event-driven Real-time Embedded Software |
- Model-checking Middleware-based Event-driven Real-time Embedded Software, March 2003.
William Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh.
In the Proceedings of the First International Symposium on Formal Methods for Components and Objects (FMCO 2002).
Technical Report, SAnToS-TR2003-2.
pdf (Last updated: April 9, 2003).
|
