TY - GEN
AU - Raymond, Pascal
AU - Maiza, Claire
AU - Parent-Vigouroux, Catherine
AU - Jahier, Erwan
AU - Halbwachs, Nicolas
AU - Carrier, Fabienne
AU - Asavoae, Mihail
AU - Boutonnet, Rémy
AU - 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
TI - Improving WCET Evaluation using Linear Relation Analysis
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Infeasible Execution Paths
KW - Abstract Interpretation
KW - Worst Case Execution Time estimation
PY - 2019
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation