Monitoring CPS at Runtime - A Case Study in the UAV Domain
Monitoring CPS at Runtime - A Case Study in the UAV Domain
复制标题
运行时监控 CPS - 无人机领域的案例研究
DOI：
10.1109/seaa.2018.00022
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Grunbacher, Paul
中科院分区：
文献类型：
--
作者：
Vierhauser, Michael;Cleland-Huang, Jane;Bayley, Sean;Krismayer, Thomas;Rabiser, Rick;Grunbacher, Paul
登录
查看更多内容
使用模型检查指定自治系统的安全监视器
DOI：
--
发表时间：
2014
期刊：
International Conference on Computer Safety, Reliability, and Security
影响因子：
--
作者：
M. Machin;F. Dufossé;J. Blanquart;Jérémie Guiochet;D. Powell;H. Waeselynck
通讯作者：
H. Waeselynck
影响因子：
3.9
作者：
Michael Vierhauser;Rick Rabiser;P. Grünbacher
通讯作者：
P. Grünbacher
影响因子：
3.5
作者：
Rick Rabiser;Sam Guinea;Michael Vierhauser;L. Baresi;P. Grünbacher
通讯作者：
P. Grünbacher
DOI：
--
发表时间：
2017
期刊：
International Conference on Automated Software Engineering
影响因子：
--
作者：
L. M. Kritzinger;Thomas Krismayer;Michael Vierhauser;Rick Rabiser;P. Grünbacher
通讯作者：
P. Grünbacher
提醒：一个灵活的系统运行时监控框架
影响因子：
3.5
作者：
Michael Vierhauser;Rick Rabiser;P. Grünbacher;K. Seyerlehner;Stefan Wallner;H. Zeisel
通讯作者：
H. Zeisel