陈祖希
开通时间:..
最后更新时间:..
点击次数:
发表刊物:IEEE Transactions on Reliability【SCI检索,中科院二区,中国计算机学会推荐期刊C类】
是否译文:否
发表时间:2022-08-02
收录刊物:SCI
第一作者:Xiangyu Luo
合写作者:Sen Liang, Lixiao Zheng, and Fan Yang
通讯作者:Zuxi Chen
上一条:基于正时态测试器的实时分支时态逻辑符号化模型检测
下一条:Ensuring the Correctness of Regular Expressions: A Review