%0 Conference Paper %1 conf/dsn/ThesingSHRLWF03 %A Thesing, Stephan %A Souyris, Jean %A Heckmann, Reinhold %A Randimbivololona, Famantanantsoa %A Langenbach, Marc %A Wilhelm, Reinhard %A Ferdinand, Christian %B DSN %D 2003 %I IEEE Computer Society %K %P 625-632 %T An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2003.html#ThesingSHRLWF03 %@ 0-7695-1952-0

@inproceedings{conf/dsn/ThesingSHRLWF03, added-at = {2023-12-13T08:52:16.000+0100}, author = {Thesing, Stephan and Souyris, Jean and Heckmann, Reinhold and Randimbivololona, Famantanantsoa and Langenbach, Marc and Wilhelm, Reinhard and Ferdinand, Christian}, biburl = {https://www.bibsonomy.org/bibtex/287f2a4b504c1161a11ea29847f4801a7/admin}, booktitle = {DSN}, crossref = {conf/dsn/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209972}, interhash = {c86a674a6ec59f01117adf912e3e406a}, intrahash = {87f2a4b504c1161a11ea29847f4801a7}, isbn = {0-7695-1952-0}, keywords = {}, pages = {625-632}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:52:16.000+0100}, title = {An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2003.html#ThesingSHRLWF03}, year = 2003 }