[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Relating average and discounted costs for quantitative analysis of timed systems
Alur, Rajeev, Trivedi, AshutoshYear:
2011
Language:
english
DOI:
10.1145/2038642.2038668
File:
PDF, 441 KB
english, 2011