Formal Verification of the MetaH Executive Using Linear Hybrid Automata.
VenueARTAS
Year2000
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/Vestal00 ↗
Browse the full RTAS paper archive.
Browse the full RTAS paper archive.