编辑配置文件（在新选项卡中打开） 弗兰茨·罗克 合著者距离 作者ID： 洛克·弗兰兹 发布日期： 弗兰茨·罗克;弗兰茨·罗克 编入索引的文档： 2出版物自2018年起 合著者： 8位合著者具有2份联合出版物 188位Co-Co作者 全部的 前5名合著者 0 单作者的 2 罗德里克·布洛姆 1 埃齐奥·巴托西 1 格什温·菲 1 费比安·格雷夫 1 罗伯特·Könighfer 1 德扬·尼科维奇 1 药丸，印戈 1 亨氏里纳 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次5文件 引用人▼ 年份▼ 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克 三 2018 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，印戈;亨氏里纳;弗兰茨·罗克 2 2019 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸，印戈;亨氏里纳;弗兰茨·罗克 2 2019 用于在有限跟踪上监视LTL规范的计数语义。 Zbl 1511.68147号 埃齐奥·巴托西;罗德里克·布洛姆;德扬·尼科维奇;弗兰茨·罗克 三 2018 全部的 前5名25位作者引用 2 罗德里克·布洛姆 1 肖恩·阿佐帕迪 1 埃齐奥·巴托西 1 格什温·菲 1 费比安·格雷夫 1 罗伯特·Könighfer 1 李建文 1 马德巴赫，贝内迪克特 1 奈维迪塔·曼朱纳特 1 科托·N·马斯克。 1 尼尔，丹尼尔 1 德扬·尼科维奇 1 药丸，印戈 1 尼尔·皮特曼 1 浦、葛光 1 亨氏里纳 1 弗兰茨·罗克 1 克里斯汀·伊冯·罗泽尔 1 杰拉尔多·施奈德 1 马克西米利安·施温格 1 保罗·塔布阿达 1 莫西·亚亚科夫·瓦尔迪 1 亚历山大·韦内特 1 张月玲 1 马丁·齐默尔曼 3篇连载文章中引用 2 系统设计中的形式化方法 1 人工智能 1 非线性分析。混合动力系统 在3个字段中引用 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文