圖書標籤:
发表于2025-01-11
Real-Time Systems pdf epub mobi txt 電子書 下載 2025
Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications.
評分
評分
評分
評分
Real-Time Systems pdf epub mobi txt 電子書 下載 2025