aerospace computing; aerospace control; control engineering computing; cooperative systems; formal verification; mobile robots; multi-robot systems; software agents; space vehicles; Autonomous Nano Technology Swarm mission; NASA swarm-based systems; agent-oriented s;
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法
机译:正式方法的软件工程:风暴潮屏障控制系统的开发,重新审视了正式方法的七个神话
机译:建立面向代理的软件工程的新正式框架的动机
机译:使用正式方法和面向代理的软件工程,用于建模NASA群体的系统
机译:一种用于评估面向代理的软件工程方法的统计方法
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:基于NASA群的系统建模:使用面向代理的软件工程和形式化方法