Clear Search

Books+ Search Results

Subject: "Science"
Author/Creator: Is
Is Is Not
Liu, Mengqi
Subject (Local Yale): Is
Is Is Not
Thesis : Yale University, Graduate School, Computer Science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

1.
Real-Time CertiKOS : Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
Author
Liu, Mengqi
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
2.
Real-Time CertiKOS: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
Author
Liu, Mengqi
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20422
Format
Books / Microforms