Organizations; Multi-agent systems; Formal specifications; Context modeling; Education; Task analysis; Mathematical model;
机译:规范多主体系统的非功能规范规范和验证方法
机译:规范多Agent系统的语义和验证
机译:使用UPPAAL的系统的正式规范和验证:以防御型导弹系统为例
机译:DISCSP的正式规范和验证规范多算术系统
机译:多Agent系统的系统设计与形式验证。
机译:网络物理系统中控制模块的正式验证
机译:使用定时弧petri网的实时多agent系统的形式化规范和验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术