...
机译:通过时序约束细化和结构代码运动来编译实时程序
机译:通过优化时序约束来支持车载嵌入式系统的时序分析
机译:使用Muli进行约束逻辑面向对象编程的编译器和虚拟机
机译:巨型程序区域中Hipparcos系统中恒星正运动的复合目录
机译:分布式实时编程中的定时事件抽象和定时约束
机译:定时改进用于验证实时对象代码程序
机译:3D运动捕获可能会检测到预达到上肢运动的时空变化并且在婴儿中患有围产期中风和脑瘫的婴儿的实时约束条件:纵向案例系列
机译:通过时序约束细化和结构代码运动来编译实时程序
机译:交易分解:时间约束的细化