机译:使用实时Maude验证分层Ptolemy II离散事件模型
University of Illinois at Urbana-Champaign, United States;
University of Oslo, Norway;
University of California, Berkeley, United States;
University of California, Berkeley, United States;
University of California, Berkeley, United States;
ptolemy II DE models; formal semantics; rewriting logic; real-time maude; model checking; formal verification;
机译:带有实时Maude的速率单调调度实现的形式化建模和验证
机译:用于指定实时系统的模型转换方法及其使用RT-maude的验证
机译:使用状态定时CSP建模和验证分层实时系统
机译:使用实时Maude验证Ptolemy II离散事件模型
机译:实时离散事件系统的可调度性分析和验证。
机译:比较复杂模型的简单方法:使用Warp-III桥采样的多层多项式处理树模型的贝叶斯模型比较
机译:使用实时Maude验证分层Ptolemy II离散事件模型
机译:ptolemy II中用于Giotto计算模型的实时C代码生成