2019年6月9日
前言
摘要： 前言 目标和原由 在控制理论中，物理过程的复杂模型（例如微分或差分方程系统）通常用简单的规范来进行检验，例如稳定性和集不变性。在形式化方法中，可以用丰富的规范（如语义 languages和时间逻辑方程 formulas oftemporal logics）来检验软件程序和数字电路的简单模型（如有限转 阅读全文
posted @ 2019-06-09 16:21 DWJdollar 阅读(272) 评论(0) 推荐(0) 编辑