%0 Generic
%T Improving WCET Evaluation using Linear Relation Analysis
%A Raymond, Pascal
%A Maiza, Claire
%A Parent-Vigouroux, Catherine
%A Jahier, Erwan
%A Halbwachs, Nicolas
%A Carrier, Fabienne
%A Asavoae, Mihail
%A Boutonnet, Rémy
%A 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
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Infeasible Execution Paths
%K Abstract Interpretation
%K Worst Case Execution Time estimation
%D 2019
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation