Modular verification of preemptive OS kernels (Q5176991)
From MaRDI portal
scientific article; zbMATH DE number 6411562
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular verification of preemptive OS kernels |
scientific article; zbMATH DE number 6411562 |
Statements
Modular verification of preemptive OS kernels (English)
0 references
5 March 2015
0 references
concurrency
0 references
modularity
0 references
scheduling
0 references
verification
0 references
