登入選單
返回Google圖書搜尋
註釋This volume addresses topics including: real-time systems; distributed system applications; specification and verification; distributed system analysis; verification and analysis; scheduling; real-time data organization; and design."