机译：EURIS，一种分布式联锁的规范方法
机译：子路线翻译法对铁路联锁规范的验证
机译：正式方法集成可靠分布式系统的规范
机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
机译：欧洲，分布式互锁器的规范方法
机译：一种规范，组成和测试分布式对象系统的方法。
机译：干燥三维经线互联织物的制造和力学表征：复合加固和软体铠装应用的实验方法
机译：BespaceD：迈向规范的工具框架和方法 分布式软件构件的空间行为分析与验证 系统
机译：分布式对象系统的规范，组成和测试方法
