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 |
Externí odkaz: |
Autor: | Pike, Lee, Hickey, Pat, Elliott, Trevor, Mertens, Eric, Tomb, Aaron |
---|---|
Zdroj: | Runtime Verification (9783319469812); 2016, p302-317, 16p |
Databáze: | Complementary Index |
Externí odkaz: |