中文
Home > Scientific Research > Paper Publications

Safety-Guided Development of Critical Computer-Based Systems Using STPA and Event-B in an Iterative Process

Hits:

  • Journal:IET Intelligent Transport Systems【SCI检索，中科院三区，中国计算机学会推荐期刊C类，中国铁道学会高质量期刊T3级】

  • Indexed by:Journal paper

  • Volume:19

  • Issue:1

  • Translation or Not:no

  • Included Journals:SCI

  • First Author:梅萌

  • Co-author:周林,陈圣彬,徐中伟,汪小勇【中国通号卡斯柯信号有限公司-副总裁】,潘亮【中国通号卡斯柯信号有限公司】,骆翔宇

  • Correspondence Author:陈祖希

  • Links to published journals:https://ietresearch.onlinelibrary.wiley.com/doi/10.1049/itr2.70128

  •

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