California Institute of Technology.;
机译:基于多Agent的大学信息管理系统的需求分析,架构设计和形式验证
机译:正式验证多代理制造系统的协商协议
机译:来自认知任务分析的多智能体系统行为的形式验证
机译:海报:具有集成验证和形式验证的网络物理模型的自上而下的设计
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:网络物理系统中控制模块的正式验证
机译:多代理系统的系统设计和形式验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术