9789310162954
Vishesh Rana
Vishwa Jyoti Press
English
Computer Science & Engineering and IT - Computer Science & Engineering and IT
2021
10970.00
Real-Time CertiKos: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
