机译:用于验证小型电力推进系统的CubeSat测试平台的设计
机译:工业互联网平台的全面工业实践(IIP):一般模型,参考架构和工业验证
机译:双滑动压电式线性电动机的建模与实验验证
机译:基于CUBESAT的验证平台上的压电马达的工业验证
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于FAST MCSQUARE的铅笔扫描质子疗法的独立剂量验证平台
机译:伺服电机驱动连铸结晶器振动台非线性系统的建模与验证
机译:模拟飞行(sTF-1):启用基于Cubesat软件的验证和验证的任务。