Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation

Heiko Koziolek, Viktoria Firus. Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. Electronic Notes in Theoretical Computer Science, 176(2):69-87, 2007. [doi]

Abstract

Abstract is missing.