SoC 多处理器混合关键性系统
时间：10-02
整理：3721RD
点击：
我想运用生成即保证正确（correct-by-construction）规则设计多处理器混合关键性系统，请问生成即保证正确（correct-by-construction）规则可用吗?在什么情况下可用?
我想运用生成即保证正确（correct-by-construction）规则设计多处理器混合关键性系统，请问生成即保证正确（correct-by-construction）规则可用吗?在什么情况下可用?