First Page of the Article class='img-abs-container' style='width: 95%; border: 1px solid #808080;' src='/xploreAssets/images/absImages/01390728.png''/>
机译:在正式验证驱动的设计流程中利用硬件不可观察性进行低功耗设计和安全分析
机译:在正式验证驱动设计流程中利用低功耗设计和安全分析的硬件不可观察性
机译:非线性系统的运行时间保证和形式化方法分析在非线性系统控制中的应用
机译:正式方法在硬件设计保证中的作用 - 不适用于出版
机译:硬件设计中控制逻辑的自动形式验证。
机译:设计和部署可靠的无线传感器网络的正式方法论
机译:一种适用于缓存一致性协议的硬件控制形式化设计方法