Autonomy; Formalism; Systems engineering; Spacecraft design; Space missions; Nanotechnology; Asteroid belt; Chemical composition; Program verification(Computers); NASA space programs;
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法
机译:在基于群体的太空探索系统开发中应用正式方法的经验
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:使用形式化方法和面向代理的软件工程为基于NASA Swarm的系统建模
机译:智能交通系统的方法利用车辆连接,自主和巷道数据
机译:使用正式方法应对智能制造系统的性能挑战:关注敏捷性
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法