formal verification; aerospace computing; nanotechnology; formal specification; emergent phenomena; multi-agent systems; communicating sequential processes; calculus of communicating systems; swarm emergent properties; formal verification; Autonomous Nano-Technology Swarm mission; intelligent swarm technology; NASA missions;
机译:软件工程研究中紧急行为验证和验证的系统地图
机译:赞美“口头禅”:使用软技能感知和影响社会技术系统中突发事件的讨论和框架
机译:动力学控制的合成分子系统动态自组装中的紧急行为
机译:基于群体的系统中的紧急行为验证
机译:基于机器人的随机种群控制法则,用于系统级紧急区域覆盖
机译:动能控制动态中的紧急行为合成分子系统的自组装
机译:基于群体的系统中突发行为的验证
机译:基于swarm的系统中突发行为的验证