Modular verification of preemptive OS kernels (Q5398329)
From MaRDI portal
scientific article; zbMATH DE number 6262156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular verification of preemptive OS kernels |
scientific article; zbMATH DE number 6262156 |
Statements
Modular verification of preemptive OS kernels (English)
0 references
27 February 2014
0 references
