中文

Paper Publications

[10]Incremental Witness Generation for Branching-Time Logic CTL.IEEE Transactions on Reliability【SCI检索，中科院二区】,2022,
[11]Ensuring the Correctness of Regular Expressions: A Review.International Journal of Automation and Computing【SCI检索】,2021,
[12]Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.2019 International Symposium on Theoretical Aspects of Software Engineering【中国计算机学会高水平会议C类】,2019,
[13]Efficient encoding for bounded model checking of timed automata.IEEJ Transactions on Electrical and Electronic Engineering【SCI检索】,2017,

total13 2/2

first previousnextlast Page

陈祖希

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021 Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021

Click:

The Last Update Time:..