Real-Time Systems 在線電子書 圖書標籤:
發表於2024-11-13
Real-Time Systems 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
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 下載 txt下載 epub 下載 mobi 下載 2024