编辑配置文件(在新选项卡中打开) 雅克·朱利安德 合著者距离 作者ID: 朱利安·雅克 发布日期: 雅克·朱利安德;J·朱利安德。 已编制索引的文档: 17出版物自1983年以来 1名编辑贡献 合著者: 20位合著者具有17联合出版物 102合著作者 全部的 前5名合著者 1 单作者的 9 皮埃尔·阿莱·马森 6 奥尔加·库什纳伦科 三 法国贝勒加德 三 纪尧姆·沃伦 2 皮埃尔·克莱斯托普·布埃 2 克里斯托夫·达洛特 2 哈桑·蒙塔西尔 2 雷吉斯,天梭 1 伯纳德·波特拉 1 阿希姆·D·布鲁克。 1 卡卢·卡布雷拉·卡斯蒂略 1 萨米尔·乔瓦利 1 弗雷德里克·达多 1 玛丽·克里斯汀·埃格林·莱克尔 1 阿兰·乔治蒂 1 比拉尔Kanso 1 尼古拉·科马托夫 1 E.乌多特。 1 纪尧姆·佩蒂奥 1 萨伏安·塔哈 系列 三 计算的形式方面 2 编程与计算机软件 1 RAIRO公司。技术与科学信息 1 信息与计算 1 计算机科学课堂讲稿 领域 18 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用11中的次9文件 引用人▼ 年份▼ 优化保留PLTL属性。 兹比尔1028.68539 克里斯托夫·达洛特;雅克·朱利安德;奥尔加·库什纳伦科 4 2003 一类PLTL属性的模块化验证。 Zbl 1043.68578号 皮埃尔·阿莱·马森;哈桑·蒙塔西尔;雅克·朱利安德 2 2000 重整:一种结合动态特性和(B)精化的方法。 Zbl 0987.68892号 F.贝利加德。;达洛特,C。;J·朱利安德。;O.库什纳伦科。 1 2001 公平假设下B事件系统动态约束的验证。 Zbl 1044.68114号 法国贝勒加德;萨米尔·乔瓦利;雅克·朱利安德 1 2002 从模型生成测试的欠近似技术的关联。 Zbl 1335.68046号 皮埃尔·克莱斯托普·布埃;雅克·朱利安德;皮埃尔·阿莱·马森 1 2011 根据B规范和测试目的生成测试。 Zbl 1156.68471号 雅克·朱利安德;皮埃尔·阿莱·马森;雷吉斯·蒂索特 1 2008 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 Zbl 1338.68164号 萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 1 2015 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 Zbl 1338.68164号 萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔Kanso 1 2015 从模型生成测试的欠近似技术的关联。 Zbl 1335.68046号 皮埃尔·克莱斯托普·布埃;雅克·朱利安德;皮埃尔·阿莱·马森 1 2011 根据B规范和测试目的生成测试。 Zbl 1156.68471号 雅克·朱利安德;皮埃尔·阿莱·马森;雷吉斯·蒂索特 1 2008 优化保留PLTL属性。 兹比尔1028.68539 克里斯托夫·达洛特;雅克·朱利安德;奥尔加·库什纳伦科 4 2003 公平假设下B事件系统动态约束的验证。 兹伯利1044.68114 法国贝勒加德;萨米尔·乔瓦利;雅克·朱利安德 1 2002 重整:一种结合动态特性和(B)精化的方法。 Zbl 0987.68892号 F.贝利加德。;达洛特,C。;J·朱利安德。;O.库什纳伦科。 1 2001 一类PLTL属性的模块化验证。 Zbl 1043.68578号 皮埃尔·阿莱·马森;哈桑·蒙塔西尔;雅克·朱利安德 2 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名25位作者引用 4 雅克·朱利安德 三 皮埃尔·阿莱·马森 1 卢博什·布里姆 1 皮埃尔·克莱斯托普·布埃 1 卡卢·卡布雷拉·卡斯蒂略 1 基特卡·克霍娃 1 弗雷德里克·达多 1 约翰·德里克 1 柯特林·迪马 1 Hoang,泰国儿子 1 比拉尔Kanso 1 奥尔加·库什纳伦科 1 弗雷德里克·朗 1 拉杜·马特埃斯库 1 E.乌多特。 1 波普尔顿,迈克尔 1 施耐德(Steve A.Schneider)。 1 格雷姆·史密斯 1 萨伏安·塔哈 1 雷吉斯·蒂索特 1 海伦·特里哈恩 1 维克利斯、迪米特里斯 1 纪尧姆·沃伦 1 大卫·M·威廉姆斯。 1 凯伦·约拉夫 3篇连载文章中引用 5 计算的形式方面 1 编程与计算机软件 1 信息与计算 在2个字段中引用 9 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的引文