security-aware; workflow; systems;
机译:在策略驱动的云计算环境中,多服务工作流的可组合性验证
机译:工程安全感知控制应用程序,用于智能工业网络物理系统中的数据认证
机译:模糊MCDM方法选择嵌入式系统有效安全感知设计的最佳操作系统
机译:验证基于阵列的系统及其在安全意识中的应用
机译:Verificare:一个可组合验证的平台,可将其应用到支持SDN的系统。
机译:定量系统药理学:一个示例性的模型构建工作流及其在心血管代谢和肿瘤学药物开发中的应用
机译:关于安全感知和过程感知信息系统的建模和验证
机译:适用于Internet应用程序的CORBa兼容事务工作流系统