Software product line engineering; Model configuration binding time; Model-based development;
机译:使用计算机代码Matlab-Simulink对大坝湖泊的水平衡进行建模/对大坝湖泊的水平衡进行建模。 Matlab-Simulink计算机程序
机译:使用MATLAB / SIMULINK软件包的SIMMECHANICS TOOLBOX进行机理建模
机译:使用MATLAB / SIMULINK软件包的Simmechanics工具箱对机制进行建模
机译:处理MATLAB / SIMULINK模型中结构变异性的机制
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:RNA结构变异性和功能多样性挑战RNA结构建模和设计
机译:MATLAB / Simulink模型的模型气味的检测和处理
机译:maTLaB / simulink中电动汽车热管理系统的建模。