...
机译:最差的检查行程!
机译:对分析友好型处理器的最坏情况执行时间的可扩展且精确的估计和调试:模型检查的回归
机译:Monroe ShockMobile兜售价值的检查,改变乘坐控制
机译:用于检查是否存在Dial-A实例的最大聚类算法
机译:具有抽象的定时模型检查:资源共享众核系统中的最坏情况响应时间分析
机译:黑天鹅枪击:预测最糟糕的大众枪击事件最糟糕的模型
机译:书籍:开始缩小:每位医生最糟糕的噩梦
机译:分析友好处理器的最坏情况执行时间的可扩展和精确估算和调试:模型检查的复出