陈祖希
开通时间:..
最后更新时间:..
点击次数:
发表刊物:PeerJ Computer Science【SCI检索】
论文类型:期刊论文
是否译文:否
发表时间:2023-12-14
收录刊物:SCI
第一作者:ZuXi Chen, ShiFan Zhang【研究生】, XianLi Zeng, Meng Mei, XiangYu Luo, LiXiao Zheng
通讯作者:XianLi Zeng
上一条:Hierarchical Safety Analysis and Formal Verification for Safety-Critical Systems using STAMP and Event-B
下一条:基于Event-B与ADT实例化的TACS形式化开发方法