用于系统级形式验证的模拟器语义 电子书下载

原名:Simulator Semantics for System Level Formal Verification
作品简介:用于系统级形式验证的模拟器语义。托尼·曼奇尼。 Federico 建模为混合系统（例如，参见 [2] 及其引文），其输入属于卫星程序的有限集检查驱动模拟。应用数学，施普林格，doi：10.1007/978-1-4612-0577-7。……