托马斯·克拉托奇维拉
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2010 – 2019
2016 [j1] 吉里·巴纳特 , 彼得·鲍赫 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 简·贝兰 , 托马斯·克拉托奇维拉 :
分析航空电子系统需求的健全性。 形式方面计算。 28 ( 1 ) : 45-63 ( 2016 ) 2015 [i1] 吉里·巴纳特 , 彼得·鲍赫 , 尼古拉·贝内斯 , 卢博斯·布里姆 , 简·贝兰 , 托马斯·克拉托奇维拉 :
航空电子系统需求健全性分析(初版)。 CoRR公司 abs/1510.02669 ( 2015 ) 2012 【c2】 吉里·巴纳特 , 简·贝兰 , 卢博斯·布里姆 , 托马斯·克拉托奇维拉 , 彼得·罗凯 :
支持航空电子仿真链接设计自动化形式验证的工具链。 飞行管理信息系统 2012 : 78-92 【c1】 吉里·巴纳特 , 卢博斯·布里姆 , 简·贝兰 , 托马斯·克拉托奇维拉 , 伊塔洛·R·奥利维拉 :
在Simulink中执行模型检查反例。 TASE公司 2012 : 245-248
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)