陈祖希

Paper Publications
基于Event-B与ADT实例化的TACS形式化开发方法
  • Hits:
  • Journal:中国铁道科学【EI检索，中国铁道学会高质量科技期刊T1级】
  • Indexed by:Journal paper
  • Volume:44
  • Issue:6
  • Translation or Not:no
  • Included Journals:EI
  • First Author:陈祖希，牛传军【研究生】，梅萌*，刘杰，刘传振，郑黎晓，骆翔宇，潘亮，汪小勇，徐中伟
Pre One:Parallel Path Detection for Fraudulent Accounts in Banks based on Graph Analysis Next One:基于变异的正则表达式反例测试串生成算法
  • PC Version
    • Huaqiao University Official network

    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:--