Inkyu Kim
-
A formal method for providing temporal equivalence in binary-to-binary translation of real-time applications
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium