机译:使用实时Maude验证分层Ptolemy II离散事件模型
机译:带有实时Maude的速率单调调度实现的形式化建模和验证
机译:用于指定实时系统的模型转换方法及其使用RT-maude的验证
机译:使用实时Maude验证Ptolemy II离散事件模型
机译:实时离散事件系统的可调度性分析和验证。
机译:夏威夷的大流行防范:用于直接检测甲型和乙型流感病毒的实时RT-PCR的多中心验证
机译:使用实时Maude验证分层Ptolemy II离散事件模型
机译:ptolemy II中用于Giotto计算模型的实时C代码生成