author = { Raymond, Pascal AND Maiza, Claire AND Parent-Vigouroux, Catherine AND Jahier, Erwan AND Halbwachs, Nicolas AND Carrier, Fabienne AND Asavoae, Mihail AND Boutonnet, Rémy Pascal Raymond and Claire Maiza and Catherine Parent-Vigouroux and Erwan Jahier and Nicolas Halbwachs and Fabienne Carrier and Mihail Asavoae and Rémy Boutonnet },

title = { Improving WCET Evaluation using Linear Relation Analysis },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Infeasible Execution Paths , Abstract Interpretation , Worst Case Execution Time estimation },

year = {2019},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }