Abo Akademi University, Department of Information Technologies Turku Centre for Computer Science Joukahaisenkatu 3-5, 20520 Turku, Finland;
INRIA/IRISA - Campus universitaire de Beaulieu 35042 Rennes Cedex, France;
机译:在模型驱动的开发中集成非功能属性:逐步完善的视图
机译:建立高分辨率PM_(10)排放清单的新统计建模和优化框架-Ⅰ。逐步回归模型的开发与应用
机译:Simulink中内燃机建模框架:气体动力学建模
机译:使用细化微积分框架逐步开发Simulink模型
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:定性精神卫生研究的协作数据分析中患者和公众参与(PPI)的最佳实践框架:方法的发展和完善
机译:使用细化演算框架逐步开发Simulink模型