...
机译:ESTEREL程序的可达状态空间构造的语法驱动程序优化
Reactive systems; Synchronous; ESTEREL; Model-checking; BDD; Partitioning; Reachable states; Cofactor;
机译:ESTEREL程序的可达状态空间构造的语法驱动程序优化
机译:使用达到定义更精确地构建静态单分配程序
机译:基于替代模型的组合和程序空间优化的几何概括
机译:同步反应程序的语法驱动可到达状态空间构造
机译:混合整数规划的河内水质建模和优化:在实际系统中的仿真和应用。
机译:NMR动态模型的优化I.最小化算法及其在无模型和布朗旋转扩散空间内的性能
机译:同步反应程序的语法驱动可达状态空间构造