[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || Predictability in critical systems
Ravn, Anders P.; Rischel, Hans
- 作者Ravn, Anders P.; Rischel, Hans
- 文件大小1513.81KB
- 发表时间1998
- DOI10.1007/BFb0055361
- 页码315-338