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