A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems.

Razvan Racu, Arne Hamann, Rolf Ernst

Browse the full ECRTS paper archive.