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,
}











