Change search
ReferencesLink to record
Permanent link

Direct link
Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder
2016 (English)In: Proc. 18th Int. Conf. on Formal Engineering Methods (ICFEM 2016), 2016, Vol. 10009, 417-432 p.Conference paper (Refereed)
Place, publisher, year, edition, pages
2016. Vol. 10009, 417-432 p.
Series
LNCS
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-199091OAI: oai:DiVA.org:kth-199091DiVA: diva2:1062027
Conference
18th Int. Conf. on Formal Engineering Methods (ICFEM 2016)
Available from: 2017-01-04 Created: 2016-12-28 Last updated: 2017-01-04

Open Access in DiVA

No full text

Computer Science

Search outside of DiVA

GoogleGoogle Scholar

ReferencesLink to record
Permanent link

Direct link