Combining simulation and formal methods for system-level performance analysis.

Simon Knzli, Francesco Poletti, Luca Benini, Lothar Thiele

Browse the full DATE paper archive.