School of Computer Science and Engineering University of New South Wales Sydney NSW 2052 Australia;
机译:谷歌地球作为调查河流形式和流程的数据源:使用基于形式的过程指标鉴别河流类型
机译:通过释放自动化框架下设备维护自动化的概念框架
机译:通过释放自动化框架下设备维护自动化的概念框架
机译:形成基于形式的过程自动化的注释框架
机译:促进良好城市形态的新规定?基于表单的代码采用过程和产品的见解
机译:促进光养生物过程发展的框架:并行化微尺度培养实验室自动化和克里格辅助实验设计的集成
机译:通过注释使基于表单的流程自动化