陈祖希
开通时间:..
最后更新时间:..
点击次数:
发表刊物:IEEE Transactions on Intelligent Transportation Systems【SCI检索,中科院二区,TOP期刊,中国计算机学会推荐期刊B类,中国铁道学会高质量期刊T1级】
是否译文:否
发表时间:2026-01-30
收录刊物:SCI
第一作者:陈琛
合写作者:王恬格,陈祖希,邵海东
通讯作者:梅萌
下一条:Safety-Guided Development of Critical Computer-Based Systems Using STPA and Event-B in an Iterative Process