UC Santa Cruz, California;
software engineering; formal methods; component-based design;
机译:基于外部接口的自主车辆到 - 城市交通中的行人沟通:通信需求和设计考虑因素
机译:具有几何和重量约束的基于接口的模块化产品设计的数学公式
机译:基于移动脑计算机接口的智能多媒体控制器的设计
机译:基于接口的检查器设计漏洞分析
机译:评估基于有形用户界面的幼儿移动学习系统。
机译:基于移动脑计算机接口的智能多媒体控制器的设计
机译:基于移动脑机接口的智能多媒体控制器的设计
机译:基于接口的设计