pdf-format: |
|
@Article{gaboardi_et_al:DR:2018:8424, author = {Marco Gaboardi and Jan Hoffman and Reinhard Wilhelm and Florian Zuleger}, title = {{Resource Bound Analysis (Dagstuhl Seminar 17291)}}, pages = {72--87}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {7}, number = {7}, editor = {Marco Gaboardi and Jan Hoffmann and Reinhard Wilhelm and Florian Zuleger}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2018/8424}, URN = {urn:nbn:de:0030-drops-84241}, doi = {10.4230/DagRep.7.7.72}, annote = {Keywords: quantitative analysis, resource-bound analysis, WCET} }
Keywords: | quantitative analysis, resource-bound analysis, WCET | |
Seminar: | Dagstuhl Reports, Volume 7, Issue 7 | |
Issue date: | 2018 | |
Date of publication: | 14.02.2018 |