View in EDS

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Saved in:
Bibliographic Details
Title: Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.
Authors: Gadia, Saurabh, Artho, Cyrille, Bloom, Gedare
Source: Formal Methods & Software Engineering (9783319478456); 2016, p417-432, 16p
Database: Complementary Index
Description
ISBN:9783319478456
DOI:10.1007/978-3-319-47846-3_26