Certification; Formal Methods; Autonomy; Safety;
机译:迈向可靠自治系统认证的框架
机译:自主机器人和智能系统的监测,认证和验证:技术和法律方法
机译:对自主多项式差速系统解决方案的自主多项式差动系统静脉能量的可扩展性
机译:通过自主系统的信任和可信性建立认证基础的严肃游戏
机译:用于自主空间系统认证的并发和以时间为中心的框架。
机译:系统性TLR2激动剂暴露通过细胞自主和细胞非自主机制调节造血干细胞
机译:总结可靠自治系统认证的框架