Showing
1 - 4
results of
4
for search '
Zhao, Yongwang
'
Skip to content
AUNILO IRDS | AUNILO Institutional Repository Discovery Service
FAQs
|
Search Tips
|
Feedback
Your Account
Log Out
Login
Theme
Bootstrap
Aunilo
Language
English
中文(繁體)
اللغة العربية
Toggle navigation
Home
Search/Browse Options
Search History
Advanced Search
About
About AUNILO IRDS
Content Sources
Statistics
Technical Team
Disclaimer
Privacy & Security Policy
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Zhao, Yongwang
Showing
1 - 4
results of
4
for search '
Zhao, Yongwang
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Refinement-based specification and security analysis of separation kernels
by
Zhao
,
Yongwang
,
Sanan, David
,
Zhang, Fuyuan
,
Liu, Yang
Published 2020
Get full text
Article
Save to List
Saved in:
2
A formal methodology for verifying side-channel vulnerabilities in cache architectures
by
Jiang, Ke
,
Zhang, Tianwei
,
Sanan, David
,
Zhao
,
Yongwang
,
Liu, Yang
Published 2023
Get full text
Conference or Workshop Item
Save to List
Saved in:
3
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
by
ZHANG, Feng
,
ZHANG, Leping
,
ZHAO
,
Yongwang
,
LIU, Yang
,
SUN, Jun
Published 2023
Get full text
Get full text
text
Save to List
Saved in:
4
Compositional reasoning for shared-variable concurrent programs
by
ZHANG, Fuyuan
,
ZHAO
,
Yongwang
,
SANAN, David
,
LIU, Yang
,
TIU, Alwen
,
LIN, Shang-Wei
,
SUN, Jun
Published 2018
Get full text
Get full text
text
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
×
Loading...