[Lecture Notes in Computer Science] Euro-Par'97 Parallel Processing Volume 1300 || Analyzing schedulability of astral specifications using extended timed automata

• 作者Lengauer, Christian; Griebl, Martin; Gorlatch, Sergei
• 文件大小504.53KB
• 发表时间1997
• DOI10.1007/BFb0002885
• 页码1290-1297