Zobraziť v EDS

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Uložené v:
Podrobná bibliografia
Názov: Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.
Autori: Gadia, Saurabh, Artho, Cyrille, Bloom, Gedare
Zdroj: Formal Methods & Software Engineering (9783319478456); 2016, p417-432, 16p
Databáza: Complementary Index
Popis
ISBN:9783319478456
DOI:10.1007/978-3-319-47846-3_26