Publish/Subscribe; Architectural styles; Structural and behavioral properties; SPIN; PROMELA; Automata with multiplicities;
机译:建模和验证发布/订阅建筑风格行为的正式方法
机译:放大镜:使用放大镜验证发布-订阅体系结构
机译:带有ETFE箔的建筑:材料性能,建筑性能和结构行为的回顾
机译:公布/订阅架构的结构和行为特性的规范和验证
机译:用于基于内容的发布/订阅数据分发系统的XML / XPath Broker /路由器的硬件体系结构。
机译:基于FIWWare的发布/订阅体系结构评估IOT应用范围访问控制模型
机译:公布/订阅架构的结构和行为特性的规范和验证