Incer，伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。 从接口自动机到超契约。 （英文） Zbl 1528.68186号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：施普林格。莱克特。注释计算。科学。13660, 477-493 (2022).MSC公司：65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Incer}等人，Lect。注释计算。科学。13660477--493（2022年；Zbl 1528.68186） 全文： 内政部
圣菲省卡斯滕鲍姆;贝诺·博伊尔;Jean-Pierre塔宾 一种经过机械验证的合同理论。 （英文） 兹标07500642 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12819, 134-151 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Kastenbaum}等人，Lect。注释计算。科学。12819、134--151（2021；Zbl 07500642） 全文： 内政部 arXiv公司
克里斯蒂安·利德斯特伦;古罗夫，帝力 程序与过程的抽象契约理论。 （英文） Zbl 1467.68039号 Guerra，Esther（ed.）等人，软件工程的基本方法。第24届国际会议，FASE 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12649, 152-171 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Lidström}和\textit{D.Gurov}，莱克特。注释计算。科学。12649、152--171（2021；Zbl 1467.68039） 全文： 内政部 arXiv公司 OA许可证
西蒙·福斯特;叶康峰;安娜·卡瓦尔坎蒂;吉姆·伍德科克 通过计算自动验证反应式程序和并发程序。 （英文） Zbl 1518.68206号 J.日志。阿尔盖布。方法计划。 121，文章ID 100681，34 p.（2021）.MSC公司：60年第68季度 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100681，34 p.（2021；Zbl 1518.68206） 全文： 内政部 arXiv公司
尼格尼戈X·尼塞尔·罗密欧。;莱昂纳多·曼格鲁卡;别墅，蒂齐亚诺;阿尔贝托Sangiovanni-Vincentelli 前序理论中的商。 （英文） Zbl 07455750号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）326216-233（2020年）。MSC公司：70年第68季度 03B70号 99年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{í.X.íncer Romeo}等人，《电子》。程序。理论。计算。科学。（EPTCS）326216--233（2020；Zbl 07455750） 全文： arXiv公司 链接
西蒙·福斯特;安娜·卡瓦尔坎蒂;塞缪尔·卡纳姆;吉姆·伍德科克;泽达，弗兰克 统一反应设计合同理论。 （英文） Zbl 1436.68195号 理论。计算。科学。 802, 105-140 (2020).MSC公司：60年第68季度 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人，Theor。计算。科学。802105-140（2020年；Zbl 1436.68195） 全文： 内政部 arXiv公司 链接
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 在非单调组合下保持合同的可满足性。 （英文） Zbl 1508.68227号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10854, 181-195 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg}，莱克特。注释计算。科学。10854、181--195（2018年；Zbl 1508.68227） 全文： 内政部 哈尔
亚历山德罗·西马蒂;拉米罗·德马西;斯特凡诺·托内塔 加强系统架构的合同改进。 （英文） 兹比尔1392.68241 表格方法系统。设计。 52，第1期，88-116（2018）.MSC公司：60年第68季度 2007年8月 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。52，第1号，88--116（2018；Zbl 1392.68241） 全文： 内政部 OA许可证
曼弗雷德·布罗伊 基于假设/承诺的系统接口规范和架构合同的理论和方法。 （英文） Zbl 1392.68238号 形式方法系统。设计。 52，第1期，33-87（2018）.MSC公司：60年第68季度 2007年8月 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}，《形式方法系统》。设计。52、第1号、第33-87号（2018；Zbl 1392.68238） 全文： 内政部
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 （英文） 兹比尔1390.68442 形式方法系统。设计。 52，第2期，147-192（2018）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg}，《形式方法系统》。设计。52，编号2147-192（2018；兹bl 1390.68442） 全文： 内政部 OA许可证
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL：混合系统的时序逻辑。 （英文） Zbl 1332.68139号 Inf.计算。 245, 54-71 (2015).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《信息计算》。245、54-71（2015；Zbl 1332.68139） 全文： 内政部
菲利普·莱因克迈尔;阿尔伯特·本文尼斯特;达姆，沃纳;英戈·斯蒂兰德 可调度性分析合同。 （英文） 兹比尔1465.90032 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 270-287 (2015).MSC公司：90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Reinkemeier}等人，Lect。注释计算。科学。9268、270--287（2015；Zbl 1465.90032） 全文： 内政部 哈尔
罗尔夫·亨尼克;亚历山大·纳普 从界面理论转向装配理论。 （英文） Zbl 1309.68047号 学报信息。 52，编号2-3，235-268（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp}，《学报》第52期，第2--3235-268号（2015年；Zbl 1309.68047） 全文： 内政部 链接
安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 基于合同的适应性方法。 （英文） Zbl 1213.68208号 J.日志。阿尔盖布。程序。 80，编号3-5，180-193（2011）.MSC公司：68号30 03B44号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schroeder}等人，J.Log。阿尔盖布。程序。80，编号3--5，180-193（2011；Zbl 1213.68208） 全文： 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 （英文） Zbl 1210.93068号 形式方法系统。设计。 38，第1期，1-32页（2011年）.MSC公司：93E03型 87年第68季度 65年第68季度 60年第68季度 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《形式方法系统》。设计。38，第1号，1--32（2011；Zbl 1210.93068） 全文： 内政部