Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. , Apr 2016, Eindhoven, Nether
HAL Archives-Ouvertes,
Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics.