Scalable compositional reachability analysis of real-time concurrent systems.
VenueARTAS
Year1996
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/Wang96 ↗
Browse the full RTAS paper archive.
Browse the full RTAS paper archive.