机译:资源绑定过程代数实时属性的模型检查
Department of Computer Science and Engineering, Korea University, Korea;
Department of Computer Science and Engineering, Korea University, Korea;
Department of Computer Science and Engineering, Korea University, Korea;
Department of Computer and Information Science, University of Pennsylvania, U.S.A.;
ACSR; model checking; action-based modeling; real-time temporal logic; resource-bound process algebra;
机译:规范和分析资源绑定型实时系统的过程代数方法
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:使用符号模型检查自动验证批处理过程的运行计划:闩锁模型与实时
机译:一个资源限制的实时流程代数
机译:监视和检查实时和概率属性。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:一类资源束缚的实时过程代数