Run-Time Guarantees for Real-Time Systems - The USES Approach

Christian Ferdinand,Daniel Kästner,Marc Langenbach,Florian Martin,Michael Schmidt,Jörn Schneider,Henrik Theiling,Stephan Thesing,Reinhard Wilhelm

GI Jahrestagung（1999）

引用 31|浏览24

暂无评分

摘要

The USES group follows an approach to compute reliable runtime guarantees which is based on well-understood theoretical foundations, practical in use, and efficient.

查看译文

关键词

real time systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要