DMCA

Model-checking of component-based event-driven real-time embedded software (2005)

Cached

Download Links

by Zonghua Gu , Kang G. Shin
Venue:in: Proceedings of IEEE ISORC’05
Citations:4 - 0 self