Publications

Deadline Analysis of Autosar Os Periodic Tasks in the Presence of Interrupts

AuthID
P-008-J7Y

Author(s)

Huang, Y

Ferreira, JF

He, G

Qin, S

He, J

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8144 LNCS, Pages: 165-181

Conference

15Th International Conference on Formal Engineering Methods, Icfem 2013, Date: 29 October 2013 through 1 November 2013, Location: Queenstown, Sponsors: The University of Auckland

Indexing