State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
| Title | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bozga, M, David, A, Hartmanns, A, Hermanns, H, Larsen, KG, Legay, A, Tretmans, J |
| Editor | Rosenstiel, W, Thiele, L |
| Conference Name | 2012 Design, Automation {&} Test in Europe Conference {&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012 |
| Publisher | IEEE |
Work Package:
WP1
