Journal:International Journal of Automation and Computing【SCI检索】
Translation or Not:no
Included Journals:SCI
First Author:Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
Pre One:基于正时态测试器的实时分支时态逻辑符号化模型检测
Next One:Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata
The Last Update Time:..