机译:关于周期性采样抽象检查离散系统的多视图一致性
Aalto Univ, Helsinki, Finland;
Northeastern Univ, Boston, MA 02115 USA;
Saarland Univ, Saarbrucken, Germany;
Aalto Univ, Helsinki, Finland;
Multi-view modeling; View consistency; Formal methods; Modeling; Verification;
机译:关于离散非自治周期系统的参数的渐近稳定性和一致有界性
机译:关于离散非自治周期系统的参数的渐近稳定性和一致有界性
机译:线性离散时间,周期性和采样数据系统中的故障检测
机译:关于周期性采样抽象检查离散系统的多视图一致性
机译:BON软件描述图的多视图一致性检查。
机译:非等距采样时刻子周期记录时间段和时基增益对周期信号离散副本的信息内容的影响
机译:检查周期性采样抽象的离散系统的多视图一致性
机译:使用谓词抽象和归纳检查C和Verilog的一致性