Font Size:
a
A
A
Keyword [Isabelle/HOL]
Result: 1 - 8 | Page: 1 of 1
1.
Design And Application Research Of Secure Operating System Hybrid Multiple Policy Model
2.
Research On Methodology Of Formal Design And Verification For Security Operating System
3.
The Design And Formal Verification Of System Task Of VTOS
4.
The Formal Design, Implement And Verification Of VTOS File System
5.
Design, Implementation And Verification Of Interrupt System In VTOS
6.
The Formal Design And Verification Of The Linux 0.11 Schedule Module Based On Isabelle/HOL
7.
Research On Xen Security Model Design And Formal Verification
8.
Research On Secure Boot Of Embedded Devices Based On Formal Methods
<<First
<Prev Next>
Last>>
Jump to
