[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
Mohalik, Swarup, Rajeev, A. C., Dixit, Manoj G., Ramesh, S., Suman, P. Vijay, Pandya, Paritosh K., Jiang, ShengbingYear:
2008
Language:
english
DOI:
10.1145/1391469.1391544
File:
PDF, 306 KB
english, 2008