State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University,BTJU Beijing,China;
State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University,BTJU Beijing,China;
State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University,BTJU Beijing,China;
State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University,BTJU Beijing,China;
CTCS-3 specification:modeling and verification; scenario:sequence diagram:model checking;
机译:分散式CSCW系统编程模型中的安全要求规范和验证
机译:基于列车控制系统安全要求的系统要求规格验证方法
机译:基于列车控制系统安全要求的系统要求规格验证方法
机译:基于场景的CTCS-3系统需求规范的建模与验证
机译:基于方案的实时反应系统的需求分析建模和设计评估。
机译:基于场景的建模开发方法:秀丽隐杆线虫命运规范的原型模型
机译:系统上下文系统中基于迭代和情景的要求规范