Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Synthesis of task and message activation models in real-time distributed automotive systems
DATE, 2007.
@inproceedings{DATE-2007-ZhengNPGV,
author = "Wei Zheng and Marco Di Natale and Claudio Pinello and Paolo Giusto and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266389",
isbn = "978-3-9810801-2-4",
pages = "93--98",
publisher = "{ACM}",
title = "{Synthesis of task and message activation models in real-time distributed automotive systems}",
year = 2007,
}