Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ. Shanghai, Shanghai, China;
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ. Shanghai, Shanghai, China;
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ. Shanghai, Shanghai, China;
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ. Shanghai, Shanghai, China;
Safety; Switches; Rail transportation; Railway accidents; Layout; Conferences; Companies;
机译:基于Petri网的方法,以引发组件交互相关的安全要求在安全关键系统中
机译:面向模型的安全需求工程的有效性和性能分析,以得出安全需求:开发安全软件系统的系统解决方案
机译:众包服务需求面向要求模式阐明方法
机译:使用安全要求模式引出铁路互锁系统的要求
机译:在复杂工程系统的需求引发期间,测量并影响问题的复杂性及其对系统负担能力的影响。
机译:建模和得出医疗信息系统的组织和信息系统需求。
机译:将安全要求的自动验证集成到铁路联锁系统设计中