机译:环境合同:单点验证和执行环境对象组成
Software Languages Lab, DINF, Vrije Unversiteit Brussel,Brussel, Belgium;
Software Languages Lab, DINF, Vrije Unversiteit Brussel,Brussel, Belgium;
PLEIAD Laboratory Computer Science Dept (DCC),University of Chile, Santiago, Chile;
Software Languages Lab, DINF, Vrije Unversiteit Brussel,Brussel, Belgium;
Software Languages Lab, DINF, Vrije Unversiteit Brussel,Brussel, Belgium;
contracts; programming languages; concurrency;
机译:环境辅助生活应用中正式规范和服务组合验证的趋势和挑战
机译:环境空气质量和慢性阻塞性肺病的风险,马尼拉地铁马尼拉开发机构交通执行者:探索性研究
机译:环境辅助生活应用中的正式规范与服务组合验证的趋势与挑战
机译:El Paso-Juarez大都会中代表性的环境空气超细和纳米颗粒的特征:形态,化学成分和形态。
机译:环境空气质量与慢性阻塞性肺病的风险马尼拉地铁马尼拉发展权威交通执行者:探索性研究
机译:高可靠性集成微纳米系统的新测试和检查方法,尤其是环境智能的挑战=高可靠性集成微纳米系统的新设计验证和检查原理和方法,特别关注环境智能的挑战
机译:环境技术验证计划高级监测系统中心:在猪养殖场验证环境硫化氢分析仪的测试/质量保证计划