Felice Balarin, Alberto L. Sangiovanni-Vincentelli
Schedule Validation for Embedded Reactive Real-Time Systems
DAC, 1997.
@inproceedings{DAC-1997-BalarinS,
author = "Felice Balarin and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266034",
isbn = "0-89791-920-3",
pages = "52--57",
publisher = "{ACM Press}",
title = "{Schedule Validation for Embedded Reactive Real-Time Systems}",
year = 1997,
}