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
Be the first to leave a comment!
You must be logged in first