embedded systems; formal verification; formal specification; parametric analysis; real-time embedded systems; abstract approximation interpretation; formal analysis; verification algorithm; real-time model checking; abstract interpretation; state-space exploration;
机译:解析实时分析和定时自动机:一种用于嵌入式实时系统性能分析的混合方法
机译:解析实时分析和定时自动机:一种用于嵌入式实时系统性能分析的混合方法
机译:优先级驱动的周期性实时系统的精确随机分析及其近似
机译:具有抽象近似解释的实时嵌入式系统参数分析
机译:多模式实时嵌入式系统的设计,分析和应用。
机译:随时间变化而对过度分散的计数和度量数据进行半参数分析:渐近理论和小样本近似
机译:07451摘要集 - 基于模型的嵌入式实时系统工程