曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 (英语) Zbl 07739130号 理论。计算。科学。 974,文章ID 114106,61 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。974,文章ID 114106,61 p.(2023;Zbl 07739130) 全文: 内政部
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 (英语) 兹比尔1392.68238 形式方法系统。设计。 52,第1期,33-87(2018).MSC公司:60年第68季度 2007年7月68日 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},表格方法系统。设计。52、第1号、第33-87号(2018;Zbl 1392.68238) 全文: 内政部