Simon Künzli, Francesco Poletti, Luca Benini, Lothar Thiele
Combining simulation and formal methods for system-level performance analysis
DATE, 2006.
@inproceedings{DATE-2006-KunzliPBT,
author = "Simon Künzli and Francesco Poletti and Luca Benini and Lothar Thiele",
booktitle = "{Proceedings of the 10th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1131547",
pages = "236--241",
publisher = "{European Design and Automation Association, Leuven, Belgium}",
title = "{Combining simulation and formal methods for system-level performance analysis}",
year = 2006,
}