Modeling, verification and exploration of task-level concurrency in real-time embedded systems
類似資料:
Wiley-Interscience | |
Kluwer Academic Publishers |
Springer-Verlag |
Springer Berlin Heidelberg : Imprint: Springer | |
Cambridge University Press | |
Springer New York : Imprint: Springer | |
Springer |
12
電子ブック
Memory Controllers for Real-Time Embedded Systems : Predictable and Composable Real-Time Systems
Springer New York : Imprint: Springer |