Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
DATE, 2012.
@inproceedings{DATE-2012-BozgaDHHLLT,
acmid = "2492803",
author = "Marius Bozga and Alexandre David and Arnd Hartmanns and Holger Hermanns and Kim G. Larsen and Axel Legay and Jan Tretmans",
booktitle = "{Proceedings of the 16th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-1-4577-2145-8",
pages = "370--375",
publisher = "{IEEE}",
title = "{State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems}",
year = 2012,
}
Tags:
