From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.
Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam
VenueARTAS
Year2012
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/PajicJLSM12 ↗
Browse the full RTAS paper archive.