Simula Research Laboratory, Lysaker, Norway,University of Oslo, Oslo, Norway;
Simula Research Laboratory, Lysaker, Norway;
Simula Research Laboratory, Lysaker, Norway;
Simula Research Laboratory, Lysaker, Norway;
Simula Research Laboratory, Lysaker, Norway,University of Luxembourg;
product configuration; model-based software engineering; constraint satisfaction; UML/OCL;
机译:柔性制造系统中的自动引导车辆配置:比较研究
机译:有色Petri网的集成自动导引车系统引导路径配置的建模与分析。
机译:有色Petri网的集成自动导引车系统引导路径配置的建模与分析。
机译:基于模型的嵌入式软件系统的自动化和指导配置
机译:嵌入式系统软件中的重新配置保证。
机译:指甲赌注超声波和自动化软件引导的双侧常见颈炎内膜介质厚度在牛皮癣和银屑病性关节炎中:是否与临床和实验室结果相关?
机译:基于模型的自动化嵌入式软件构件尺寸估计方法
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。