CORC

在结果中检索

CORC

浏览/检索结果: 共88条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Notoginsenoside R1 attenuates sevoflurane-induced neurotoxicity 期刊论文
TRANSLATIONAL NEUROSCIENCE, 2020, 卷号: 11, 期号: 1, 页码: 215-226
作者:  Zhang, Yibing;  Zhao, Yong;  Ran, Yongwang;  Guo, Jianyou;  Cui, Haifeng
收藏  |  浏览/下载：33/0  |  提交时间：2020/08/03
Alantolactone exhibits selective antitumor effects in HELA human cervical cancer cells by inhibiting cell migration and invasion, G2/M cell cycle arrest, mitochondrial mediated apoptosis and targeting Nf-kB signalling pathway 期刊论文
JOURNAL OF BUON, 2019, 卷号: 24, 期号: 6, 页码: 2310-2315
作者:  Yibing Zhang;  Zhao, Yong;  Ran, Yongwang;  Guo, Jianyou;  Cui, Haifeng
收藏  |  浏览/下载：15/0  |  提交时间：2020/02/29
Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS 会议论文
2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), 2019-01-01
作者:  Zhang Feng;  Zhao Yongwang;  Ma Dianfu;  Niu Wensheng
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30
A formally verified buddy memory allocation model 会议论文
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, 2019-11-10
作者:  Jiang, Ke;  Sanan, David;  Zhao, Yongwang;  Kan, Shuanglong;  Liu, Yang
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS 会议论文
COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019-01-01
作者:  Zhao, Yongwang;  Sanan, David
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Testing-based Model Learning Approach for Legacy Components 会议论文
PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019-01-01
作者:  Ali, Shahbaz;  Sun, Hailong;  Zhao, Yongwang;  Akram, Naveed
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
High-Performance Strain Sensors Based on Spirally Structured Composites with Carbon Black, Chitin Nanocrystals, and Natural Rubber 期刊论文
2018, 卷号: 6, 期号: 8, 页码: 10595
作者:  Liu, Yongwang[1];  Wu, Fan[1];  Zhao, Xiujuan[1];  Liu, Mingxian[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/17
Compositional Reasoning for Shared-Variable Concurrent Programs 会议论文
FORMAL METHODS, 2018-01-01
作者:  Zhang, Fuyuan;  Zhao, Yongwang;  Sanan, David;  Liu, Yang;  Tiu, Alwen
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 16395-16407
作者:  Sun, Jianwen;  Long, Xiang;  Zhao, Yongwang
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30

©版权所有 ©2017 CSpace - Powered by CSpace