2001
Validating Real-Time Constraints in Embedded Systems.
[DOI]
R. K. Shyamasundar
,
J. V. Aghav
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001