中文
Home > Scientific Research > Paper Publications

基于Event-B与ADT实例化的TACS形式化开发方法

Hits:

  • Journal:中国铁道科学【中国铁道学会高质量科技期刊T1级】

  • Indexed by:Journal paper

  • Volume:44

  • Issue:6

  • Translation or Not:no

  • Included Journals:EI

  • First Author:陈祖希，牛传军【研究生】，梅萌*，刘杰，刘传振，郑黎晓，骆翔宇，潘亮，汪小勇，徐中伟

  •

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

The Last Update Time:..