pdf-format: |
|
@InProceedings{souyris_et_al:OASIcs:2007:810, author = {Jean Souyris and Erwan Le Pavec and Guillaume Himbert and Guillaume Borios and Victor J{\'e}gu and Reinhold Heckmann}, title = {{Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation}}, booktitle = {5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-939897-24-8}, ISSN = {2190-6807}, year = {2007}, volume = {1}, editor = {Reinhard Wilhelm}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2007/810}, URN = {urn:nbn:de:0030-drops-8103}, doi = {10.4230/OASIcs.WCET.2005.810}, annote = {Keywords: } }
Seminar: | 5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) | |
Issue date: | 2007 | |
Date of publication: | 2007 |