机译:迈向可信赖的计算系统:将微内核提升到新的水平
NICTA and University of New South Wales Sydney, Australia;
机译:APS -APS 2017年3月会议-活动-一种新的可信赖的形式主义,用于计算量子系统中的熵
机译:适用于有机计算系统的可信赖,容错和可扩展的自配置算法
机译:云移动时代的可信计算:系统架构的飞跃。
机译:从经过验证的正确的Microkernel到值得信赖的大型系统
机译:使用基于微内核的操作系统进行楼宇自动化的安全计算平台
机译:PyNCS:用于神经形态电子系统的高级定义和配置的微内核
机译:迈向可信赖的计算系统:将微内核提升到新的水平