Model checking; Formal methods; ASSL; Autonomic computing;
机译:印度东部报道的应对艾滋病毒/艾滋病感染者因耻辱而产生的压力的防御机制研究:单中心经验:
机译:制定家庭报告的家庭儿科姑息和临终关怀护理的经验:多种方法,多利益相关者方法
机译:开发患者报告的心理保健质量经验衡量的概念框架:对法国优质项目的定性研究
机译:开发用于ASSL的模型检查机制:经验报告
机译:强制性报告法的未来:制定法律和政策框架,以确定对专业人员施加何种报告义务
机译:如何促进患者的成功实施报告了残疾部门的经验测量:在共同创造中制定战略的一个例子
机译:开发用于ASSL的模型检查机制:经验报告