机译:在超过15年的时间里开发UPPAAL
NORDUnet A/S, Copenhagen, Denmark;
Department of Computer Science, Aalborg University, Denmark;
Department of Computer Science, Aalborg University, Denmark;
Mdlardalen Research and Technology Centre, Mdlardalen University, Sweden;
Department of Information Technology, Uppsala University, Sweden;
UPPAAL; real-time; model-checker; development;
机译:埃及将在20年内开发总产能达1500万吨/年的石化胶料
机译:“ 15年,15年……我们让您拥有15年”
机译:成功开发辐射肿瘤学基于能力的居住培训计划:我们在发展中国家内的15年的经验
机译:开发,评估和传播编程老师的15年:经验教训(特邀演讲)
机译:45至15岁的初中学校:对选定的9年级学生的一年级代数成绩的评估。
机译:胃切除术治疗转移性胃癌:来自发展中国家的15年的经验
机译:15年患2型糖尿病的风险及其与个人焦虑的关系,在俄罗斯/西伯利亚(International流行病学研究“Hapiee)中的男性焦虑和个人焦虑的关系,睡眠障碍(国际流行病学研究)
机译:工业/大学合作研究活动:木质素的解聚,季度报告3(1982年10月15日 - 1983年1月15日)和格兰特一年级报告(1982年4月15日 - 1983年4月15日),其中包括季度报告4