Hiromasa Shimada, Tatsuo Nakajima. External Integrity Checking with Invariants. In 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, Toyama, Japan, August 28-31, 2011, Volume 2. pages 122-125, IEEE Computer Society, 2011. [doi]
Abstract is missing.