Karine Altisen, Yanhong Liu, Matthieu Moy
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
QAPL, 2010.
@inproceedings{QAPL-2010-AltisenLM, author = "Karine Altisen and Yanhong Liu and Matthieu Moy", booktitle = "{Proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages}", doi = "10.4204/EPTCS.28.2", pages = "16--33", series = "{EPTCS}", title = "{Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata}", volume = 28, year = 2010, }