Skip to content

Research at St Andrews

Towards Formally Verifiable Resource Bounds for Real-time Embedded Systems

Research output: Contribution to journalArticle

Author(s)

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann

School/Research organisations

Details

Original languageUndefined/Unknown
Pages (from-to)27-36
Number of pages10
JournalSIGBED Rev.
Volume3
Issue number4
DOIs
StatePublished - 1 Oct 2006

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 251289674