• 基于归纳不变式的混成系统安全性验证

    基于归纳不变式的混成系统安全性验证

    论文摘要随着嵌入式系统在安全攸关领域的广泛应用,嵌入式系统的研究也逐步升温。由于混成系统既可以描述嵌入式系统离散的控制逻辑,又可以描述其连续的硬件行为,因此成为嵌入式系统理想的...