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.
發表於2025-01-25
Real-Time Systems 2025 pdf epub mobi 電子書 下載
圖書標籤:
Real-Time Systems 2025 pdf epub mobi 電子書 下載