Robustness in real-time systems

2011 6th IEEE International Symposium on Industrial and Embedded Systems Pub Date : 2011-06-15 DOI:10.1109/SIES.2011.5953652

N. Markey

引用次数: 37

Abstract

We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.

查看原文本刊更多论文

实时系统的鲁棒性

我们回顾了实时系统鲁棒性的几个方面，并介绍了时间自动机鲁棒性验证的最新结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量