...
机译:PPTL公理系统中由期限驱动的调度程序的正式证明
Theorem proving; Projection temporal logic; Deadline driven scheduler; Real-time;
机译:PPTL公理系统中由期限驱动的调度程序的正式证明
机译:期限驱动调度程序的直观形式证明
机译:截止日期驱动的计划程序的直观形式证明
机译:截止日期驱动的计划程序的另一个正式证明
机译:通过公理系统对工程设计信息进行形式化建模。
机译:基于动态关键路径驱动程序的云计算系统的截止期限约束调度算法
机译:截止日期驱动的计划程序的另一种形式证明
机译:最早期限首次调度的正式可行性条件