IMT School for Advanced Studies, Lucca, Italy;
Formal modelling and verification; Rewriting logic; Interactive systems; Model checking; MAUDE;
机译:交互混合系统基于重写逻辑的形式分析中的自适应步长数值方法
机译:基于Petri网和重写逻辑基于多功能关键系统的多智能临界系统正式分析
机译:一个以组织为中心的多代理系统规范的正式框架:一种基于重写逻辑的方法
机译:一种基于重写逻辑的认知框架,用于分析交互式系统
机译:时间逻辑框架中离散事件系统的面向对象交互式模拟器
机译:一个基于过程的框架可指导护士从业人员融入初级医疗团队:逻辑分析的结果
机译:交互混合系统基于重写逻辑的形式分析中的自适应步长数值方法
机译:工业设计背景下可靠交互系统基于模型分析的框架和支持工具