Submitted by chiara.mezzetti on
| Title | Resource-Parameterized Timing Analysis of Real-Time Systems. |
| Publication Type | Conference Proceedings |
| Year of Conference | 2015 |
| Authors | Kim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B. |
| Conference Name | Haifa Verification Conference 2015 |
| Pagination | 190-205 |
| Publisher | Springer |
| ISBN Number | 978-3-319-26286-4 |
ICT-Energy group
