CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Novel porphyrin derivative containing cations as new photodynamic antimicrobial agent with high efficiency 期刊论文
RSC ADVANCES, 2024, 卷号: 14, 期号: 5, 页码: 3122-3134
作者:  Zhang, Jiajing;  Yuan, Xiaoqian;  Li, Hongsen;  Yu, Liting;  Zhang, Yulong
收藏  |  浏览/下载：4/0  |  提交时间：2024/02/23
Novel porphyrin derivative containing cations as new photodynamic antimicrobial agent with high efficiency 期刊论文
RSC ADVANCES, 2024, 卷号: 14, 期号: 5, 页码: 3122-3134
作者:  Zhang, Jiajing;  Yuan, Xiaoqian;  Li, Hongsen;  Yu, Liting;  Zhang, Yulong
收藏  |  浏览/下载：4/0  |  提交时间：2024/04/07
IscasMc: A web-based probabilistic model checker 其他
2014-01-01
Hahn, Ernst Moritz; Li, Yi; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
Probably safe or live 会议论文
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
IscasMc: A web-based probabilistic model checker 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：17/0  |  提交时间：2014/12/16
Revisiting weak simulation for substochastic Markov chains 会议论文
10th International Conference on Quantitative Evaluation of Systems, QEST 2013, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013
Jansen, David N. (1); Song, Lei (2); Zhang, Lijun (3)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
Incremental bisimulation abstraction refinement 会议论文
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
基于pCTL的循环优化测试用例自动生成方法 期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠; 薛云志; 陶秋铭
收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23
基于pCTL的循环优化测试用例自动生成方法的研究与实现 学位论文
硕士, 中国科学院研究生院: 中国科学院研究生院, 2009
余侠
收藏  |  浏览/下载：17/0  |  提交时间：2009/06/22
pCTL  

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