机译:基于重叠周期的复杂实时模型检查的精确加速度
机译:基于精确解析模型的磁重联粒子加速标度
机译:基于运行时模型的实时嵌入式系统检查的设计模式
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:实时模型检查中的表现力和复杂性
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:Mad2和后期促进复合物在Cdc20上的重叠结合域的识别:主轴检查点调节模型
机译:精确加速实时模型检查
机译:基于组件的事件驱动的实时嵌入式软件的模型检查