×
作者ID: 雷齐娜·奥斯曼“Rezine,Othmane”最近发表的zbMATH文章
发布日期: 奥思曼·雷津
编入索引的文档: 4出版物自2011年起
合著者: 7合著者具有4联合出版物
168位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

4出版物有被引用13中的次13文件 引用人 年份
关于定时自组网的验证。 Zbl 1348.68115号
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯
7
2011
基于预算的模型检查下推系统。 Zbl 1317.68106号
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼
4
2014
动态寄存器自动机的验证。 Zbl 1360.68575号
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津
1
2014
ad hoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯
1
2016
ad hoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯
1
2016
基于预算的模型检查下推系统。 Zbl 1317.68106号
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼
4
2014
动态寄存器自动机的验证。 Zbl 1360.68575号
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津
1
2014
关于定时自组网的验证。 Zbl 1348.68115号
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯
7
2011

按年份列出的引文