Centre of Excellence IT4Innovations Brno Univ. of Technol. Brno Czech Republic;
Delays; Model checking; Software; Stochastic processes; Instruments; Context; Automata;
机译:使用UPPAAL SMC的多种子体系统建模与分析
机译:使用GSPN框架的低成本高性能嵌入式系统的嵌套中断分析
机译:使用GSPN框架的低成本高性能嵌入式系统的嵌套中断分析
机译:通过UPPAAL SMC分析嵌入式系统软件中断限制器
机译:利用软件管理内存的嵌入式系统静态和动态内存管理方案分析
机译:嵌入式系统中分数微积分数值方法的优化
机译:基于组件的UppaaL pORT嵌入式系统设计与分析