Towards Formally Verifiable Resource Bounds for Real-time Embedded Systems

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{98d684d621364883b774ddb3cbbaa476,

title = "Towards Formally Verifiable Resource Bounds for Real-time Embedded Systems",

author = "Kevin Hammond and Christian Ferdinand and Reinhold Heckmann",

year = "2006",

month = oct,

day = "1",

doi = "10.1145/1183088.1183093",

language = "Undefined/Unknown",

volume = "3",

pages = "27--36",

journal = "SIGBED Rev.",

issn = "1551-3688",

publisher = "ACM siggraph",

number = "4",

}