编辑配置文件（在新选项卡中打开） 彼得·鲍赫 合著者距离 作者ID： bauch.petr公司 发布日期： 彼得·鲍赫 已编制索引的文档： 2出版物自2011年起 合著者： 6位合著者具有2联合出版物 137位合作作者 全部的 前5名合著者 0 单作者的 1 JiříBarnat 1 尼古拉·贝内什 1 简·伯兰 1 卢博什·布里姆 1 科什卡，米兰 1 托马斯·克拉托奇维拉 系列 1 计算的形式方面 领域 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ 分析航空电子系统需求的健全性。 Zbl 1335.68131号 JiříBarnat；彼得·鲍赫；尼古拉·贝内什；卢博什·布里姆；简·伯兰；托马斯·克拉托奇维拉 4 2016 分析航空电子系统需求的健全性。 Zbl 1335.68131号 JiříBarnat；彼得·鲍赫；尼古拉·贝内什；卢博什·布里姆；简·伯兰；托马斯·克拉托奇维拉 4 2016 全部的 前5名9位作者引用 三 雅罗斯拉夫·本迪克 三 伊万娜·乔纳 2 艾丁·戈尔，埃布鲁 2 艾哈迈特·塞肯 1 达拉·阿拉杰 1 JiříBarnat 1 尼古拉·贝内什 1 戴维德·贾科莫·卡维扎 1 安德拉斯·吉尔吉 连载1篇 1 计算机科学中的逻辑方法 在3个字段中引用 4 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 测量和集成（28-XX） 按年份列出的引文