Journal:PeerJ Computer Science【SCI检索】
Indexed by:Journal paper
Translation or Not:no
Included Journals:SCI
First Author:ZuXi Chen, ShiFan Zhang【研究生】, XianLi Zeng, Meng Mei, XiangYu Luo, LiXiao Zheng
Correspondence Author:XianLi Zeng
Pre One:Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B
Next One:基于Event-B与ADT实例化的TACS形式化开发方法
The Last Update Time:..