Microkernels; worst-case execution time; hard real-time systems; trusted systems; formal verification;
机译:受保护的就餐时间在澳大利亚一家医院的成年住院患者中减少就餐时间中断并改善就餐时间帮助的功效
机译:在英国初级保健中提高对家庭暴力和虐待的医疗保健反应:系统级培训和支持计划的中断时间序列评估
机译:皇家伯恩茅斯医院就餐时间的保护政策对进餐期间能量摄入和非紧急中断频率的影响
机译:在可验证的受保护微内核中缩短中断响应时间
机译:使用响应中断重定向,超时和差异增强来减少陈规定型观念。
机译:改善英国初级保健中对家庭暴力和虐待的医疗保健反应:对系统级培训和支持计划的时间序列评估中断
机译:改善可验证的受保护微内核中的中断响应时间