Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems

Satoshi Yamane. Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems. In Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuan-Shun Dai, Laurence Tianruo Yang, editors, Embedded and Ubiquitous Computing - EUC 2005 Workshops, EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings. Volume 3823 of Lecture Notes in Computer Science, pages 1211-1224, Springer, 2005. [doi]

Abstract

Abstract is missing.