...
机译:密集时间系统的TCTL必然性分析:从理论到工程
Department of Electrical Engineering, National Taiwan University, EL 616, Nr. 1, Sec. 4, Roosevelt Rd., Taipei, Taiwan 106, ROC;
TCTL; real-time systems; inevitability; non-zeno; model-checking; greatest fixpoint; abstraction;
机译:利用时间凸性分析对密集时间系统进行有效的模型检查
机译:基于更新理论的恶化工程系统生命周期分析
机译:基于直觉模糊集理论的工程系统可靠性分析
机译:密集时间系统的TCTL必然性分析
机译:一种多属性效用理论和多目标优化理论的系统工程方法:在飞机改型设计中的应用。
机译:高级颈部癌症响应评估的辐射瘤分析遥远的梦想或不可避免的现实?对当前证据水平的系统审查
机译:密集时间系统的TCTL必然性分析