机译:扩展SCR方法用于实时系统
the SCR method; real-time systems; formal specifications;
机译:电子结构方法的表现,用于描述扩展PI系统中的Huckel-Mobius互联
机译:精确的培养空间和扩展的卡尔曼滤波方法,用于估计具有离散测量的连续时间非线性随机系统
机译:基于基于离散方法的实时混合模拟系统的稳定性分析
机译:扩展无害架构描述语言以进行嵌入式实时系统验证
机译:一项混合方法研究比较了主题记忆和经文背诵的感知精神益处。
机译:电子结构方法的性能Hückel–Möbius互转换的描述在扩展π系统中
机译:扩展masE方法论用于嵌入式实时系统的开发
机译:Lss试验台加压描述和操作方法:延长时间段的太空飞行生命支持系统