Linkoeping University, Department of Computer Science, Linkoping, Sweden;
components; real-time; timing analysis; concurrency control;
机译:完成直线硬实时程序的最坏情况执行时间分析
机译:一种基于组件的实时系统执行时间概率分布估计方法
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:方面级最坏情况执行时间分析,使用方面和组件组成的实时系统
机译:硬实时系统的交互式最坏情况执行时间分析。
机译:基于实时参与者的系统的可调度性分析
机译:深度嵌入式实时系统安全策略的最坏情况执行时间分析