graph; artificial intelligence; real-time;
机译:完整和不完整的实时系统的完全符号TCTL模型检查
机译:在运输系统优化中获得轮毂和轮辐结构的α爬坡方法的性质
机译:硬实时系统的并行化方法及其在两个工业程序中的应用:硬实时系统的并行化策略和两个案例研究
机译:实时系统:最大加权集团问题的不完整解决方法
机译:刚度线性微分系统的实时求解技术。
机译:实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
机译:完全符号TCTL模型检查完整和不完整的实时系统*†
机译:aDa航空电子实时系统模型:实时系统开发中硬件/软件协同设计方法的优势示例