Eindhoven University of Technology Eindhoven The Netherlands;
Vrije Universiteit Amsterdam The Netherlands;
Supervisory control synthesis; Automata; Requirements engineering;
机译:自主性增加对无人机监督控制任务中训练要求的影响
机译:可控合成Co_2P纳米棒作为高效双功能电催化剂,用于总水分解
机译:通过符号模型检查对标记过渡系统进行多重可达性要求的监督控制
机译:要求分裂对监管控制合成效率的影响
机译:评估生物能源潜力的方法:他们对农村景观的预期管理,能源效率要求和生态影响。
机译:一种无辅助高效整体纯水分解的光化学二极管人工光合作用系统
机译:要求分裂对监管控制合成效率的影响