说明: Real-time Systems Specification, Verification andAnalysisEdited by Mathai JosephThis book provides a detailed account of three major aspects of real-time systems:programstructures for real-time, timing analysis u sing scheduling theory and specifica
<jlctt> 上传 | 大小:2mb