×
作者ID: 纳杰姆·埃利“Najm,Elie”最近发表的zbMATH文章
发布日期: 伊利·纳伊姆
已编制索引的文档: 10出版物自1991年起
4作为编辑的贡献
合著者: 15位合著者具有14联合出版物
164联合作者

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用7中的次5文件 引用人 年份
形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)联合国际会议,1998年11月3日至6日,法国巴黎。 Zbl 0905.68004号
2
1998
通过行为类型确保对象演算的活性。 兹比尔0953.68084
伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼
2
1999
分布式对象接口的无限类型。 Zbl 0928.68073号
伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼
1
1999
用于安全web服务编排的会话类型。 Zbl 1283.68065号
乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇
1
2013
良好组件组装的行为合同。 Zbl 1279.68025号
西里尔·卡雷兹;亚历山德罗·范特奇;伊利·纳伊姆
1
2003
安全web服务编排的会话类型。 Zbl 1283.68065号
乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇
1
2013
组件的合理组装的行为契约。 Zbl 1279.68025号
西里尔·卡雷兹;亚历山德罗·范特奇;伊利·纳伊姆
1
2003
通过行为类型确保对象演算的活性。 Zbl 0953.68084号
伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼
2
1999
分布式对象接口的无限类型。 Zbl 0928.68073号
伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼
1
1999
形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号
2
1998

按年份列出的引文