Requirements engineering; Goal diagrams Domain modeling; Ontologies; SysML/KAOS; B System;
机译:使用正式的需求工程方法为ERTMS / ETCS 3级混合标准建模
机译:基于正式改进的混合ERTMS / ETCS 3级标准分析
机译:使用正式的B模型验证和真实演示ETCS混合3级原理
机译:使用正式要求工程方法建模混合动力ERTMS / ETCS等级3标准
机译:正式和定量的软件工程非功能需求建模和评估方法。
机译:青光眼纵向标准自动视野测量数据建模的非线性多级混合效应方法
机译:图LED使用IUML-B用于混合动力级别3的正式建模
机译:计算科学。基于细化的协同工程要求和形式模型。