×
作者ID: 布劳尔·约格最近由“Jörg Brauer”撰写的zbMATH文章
发布日期: Jörg Brauer
已编制索引的文档: 8出版物自2010年起,包括1本书
合著者: 6位合著者具有7联合出版物
77位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用13中的次10文件 引用人 年份
使用布尔公式自动提取间隔。 Zbl 1306.68020号
Jörg Brauer;安迪·金
5
2010
嵌入式实时系统的运行时验证。 兹比尔1317.68122
托马斯·莱因巴赫;马蒂亚斯·福格尔;Jörg Brauer
2
2014
无量词消除的传递函数综合。 Zbl 1326.68080号
Jörg Brauer;安迪·金
2
2011
八边形的基于访问的本地化。 Zbl 1294.68050号
伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer
2
2012
状态空间缩减静态分析在微控制器二进制代码中的应用。 Zbl 1213.68390号
巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基
1
2011
无量词消除的传递函数综合。 Zbl 1278.68070号
Jörg Brauer;安迪·金
1
2012
嵌入式实时系统的运行时验证。 Zbl 1317.68122号
托马斯·莱因巴赫;马蒂亚斯·福格尔;Jörg Brauer
2
2014
八边形的基于访问的本地化。 Zbl 1294.68050号
伊娃·贝克舒尔泽;斯特凡·科瓦列夫斯基;Jörg Brauer
2
2012
无量词消除的传递函数综合。 Zbl 1278.68070号
Jörg Brauer;安迪·金
1
2012
无量词消除的传递函数综合。 Zbl 1326.68080号
Jörg Brauer;安迪·金
2
2011
状态空间缩减静态分析在微控制器二进制代码中的应用。 兹比尔1213.68390
巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基
1
2011
使用布尔公式自动提取间隔。 Zbl 1306.68020号
Jörg Brauer;安迪·金
5
2010

按年份列出的引文