SETSS 2026: 用不完美的组件安全系统-Building Safe Systems using Inperfect Components

无名

不少概念从传统容错理论和技术重新定义过来。控制理论和工程与软件理论和工程的分离和界面语言依然没有。