Hybrid Communicating Sequential Processes的意思|示意
美 / /
英 / /
混合通信顺序过程
Hybrid Communicating Sequential Processes的网络常见释义
混成通信顺序进程 ...融合系统（ CPS ）建模和验证 报告摘要：本报告介绍如何使用混成通信顺序进程（ Hybrid Communicating Sequential Processes ， HCSP ）为建模语言，使用符号代数 DISCOVERER 为工具开发微分不变式，并使用混成霍尔逻辑（ Hy..