@inproceedings{DATE-2013-MaYGGTBH,
acmid = "2485571",
author = "Yue Ma and Huafeng Yu and Thierry Gautier and Paul Le Guernic and Jean-Pierre Talpin and Loïc Besnard and Maurice Heitz",
booktitle = "{Proceedings of the 17th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-4503-2153-2",
pages = "1173--1178",
publisher = "{EDA Consortium San Jose, CA, USA / ACM DL}",
title = "{Toward polychronous analysis and validation for timed software architectures in AADL}",
year = 2013,
}
Tags: