Formal specification; Distributed synthesis; Cross-organizational workflow; Declarative processes; Process composition;
机译:宣布工业安全和危害生产设施的安全性合理化期间的可承担风险标准
机译:Frost&Sullivan宣布安全法规推动了欧洲过程安全市场的增长
机译:水工建筑物的安全性:在考虑水电开发的安全性时要考虑的主要因素
机译:安全分配声明式流程
机译:SAFE:具有链接凭证的声明式信任敏捷系统。
机译:反复镇定-巩固过程增强了人类的声明性记忆
机译:声明过程的安全分配
机译:给定诱导点过程实现的泊松过程的条件分布