Form, the Missing Piece in Effective Real-Time System Specification and Simulation.
Ji Y. Lee, Kyo Chul Kang, Gerard J. Kim, Hye J. Kim
VenueARTAS
Year1998
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/LeeKKK98 ↗
Browse the full RTAS paper archive.