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]

Authors

Heiko Koziolek

This author has not been identified. It may be one of the following persons: Look up 'Heiko Koziolek' in Google

Viktoria Firus

This author has not been identified. Look up 'Viktoria Firus' in Google