attack graph generation; bigraphical reaction rules; blockchain network;
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
机译:基于双向反应式系统的上下文感知系统建模方法
机译:用于指定基于云的弹性系统及其行为的双向模型
机译:使用基于巨大的基于Maude的模型检查器来验证云系统
机译:基于传记机的移动反应系统-编程模型及其实现。
机译:UAV培养行为建模使用跟踪大型反应系统
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法