hybrid communicating sequential processes
...融合系统（ CPS ）建模和验证 报告摘要：本报告介绍如何使用混成通信顺序进程（ Hybrid Communicating Sequential Processes ， HCSP ）为建模语言，使用符号代数 DISCOVERER 为工具开发微分不变式，并使用混成霍尔逻辑（ Hy..
基于2个网页-相关网页
hybrid communicating sequential processes
混合通信顺序过程
以上为机器翻译结果，长、整句建议使用 人工翻译 。