电脑体验，效果更佳

形式验证图谱-自然科学领域：

研究人员

严晓浪 刘震 王冠军 法特穆加瓦河瑞 唐璞山 阿米拉里高弗兰尼 冯刚 胡元闯

相关术语

通信协议 有向矩形壳 时态逻辑 混合自动机 流管道 混合系统 定时自动机 UPPAAL

标签云