编辑配置文件（在新选项卡中打开） 亚历山大·梅兹纳 合著者距离 作者ID： metzner.alexander公司 发布方式： 亚历山大·梅兹纳 已编制索引的文档： 4出版物自2000年以来 合著者： 3位合著者具有3联合出版物 103合著作者 合著者 1 单作者的 2 达姆，沃纳 2 尤尔根·尼豪斯 1 马丁·范策尔 系列 1 计算的形式方面 1 通用计算机科学杂志 领域 三 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用7中的次7文件 引用人▼ 年份▼ 为什么模型检查可以改进WCET分析。 Zbl 1103.68631号 亚历山大·梅兹纳 4 2004 分布式实时汽车应用程序的设计方法。 Zbl 1189.93016号 达姆，沃纳;亚历山大·梅兹纳 2 2007 分布式执行Statemate的语义。 Zbl 1093.68599号 马丁·范策尔;尤尔根·尼豪斯;亚历山大·梅兹纳;达姆，沃纳 1 2003 分布式实时汽车应用程序的设计方法。 Zbl 1189.93016号 达姆，沃纳;亚历山大·梅兹纳 2 2007 为什么模型检查可以改进WCET分析。 Zbl 1103.68631号 亚历山大·梅茨纳 4 2004 分布式执行Statemate的语义。 Zbl 1093.68599号 马丁·范策尔;尤尔根·尼豪斯;亚历山大·梅兹纳;达姆，沃纳 1 2003 所有引用出版物 前5名被引用出版物 全部的 前5名10位作者引用 2 奥马尔·巴泰内 2 帕拉布·达斯古普塔 2 Manoj G.迪克西特。 2 法国人，蒂姆 2 马克·亚历山大·雷诺兹 1 萨迪普塔·查托帕迪耶 1 里克·埃舒伊斯 1 阿比克·罗伊乔杜里 1 比约恩·瓦希特 1 莱因哈德·威廉 5篇连载文章中引用 2 计算的形式方面 1 信息处理信件 1 理论计算机科学 1 计算机程序设计科学 1 实时系统 在2个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文