TrackOS: A Security-Aware Real-Time Operating System.

Autor: Pike, Lee, Hickey, Pat, Elliott, Trevor, Mertens, Eric, Tomb, Aaron
Zdroj: Runtime Verification (9783319469812); 2016, p302-317, 16p
Databáze: Complementary Index