编辑配置文件（在新选项卡中打开） 托马斯·克拉托奇维拉 合著者距离 作者ID： 克拉托奇维拉瘤 发布日期： 托马斯·克拉托奇维拉 已编制索引的文档： 1出版物自2016年起 合著者： 5位合著者具有1联合出版物 117位合作作者 合著者 0 单作者的 1 JiříBarnat 1 彼得·鲍赫 1 尼古拉·贝内什 1 简·伯兰 1 卢博什·布里姆 系列 1 计算的形式方面 领域 1 计算机科学（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 艾丁·戈尔（Ebru Aydin Gol） 2 艾哈迈特·塞肯 1 达拉·阿拉杰 1 JiříBarnat 1 尼古拉·贝内什 1 戴维德·贾科莫·卡维扎 1 安德拉斯·吉尔吉 连载1篇 1 计算机科学中的逻辑方法 在3个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 测量和集成（28-XX） 按年份列出的引文