|
Judul Buku
Model Driven Engineering for Distributed Real-Time Embedded Systems ISBN9781118558096 |
| No | Judul Bab | Hits | Opsi |
|---|---|---|---|
| 1 | Model Transformation: A Survey of the State of the Art | 8 | Download |
| 2 | Model‐Based Code Generation | 5 | Download |
| 3 | Testing Model Transformations: A Case for Test Generation from Input Domain Models | 5 | Download |
| 4 | Symbolic Execution‐Based Techniques for Conformance Testing | 4 | Download |
| 5 | Using MARTE and SysML for Modeling Real‐Time Embedded Systems | 5 | Download |
| 6 | Software Model‐based Performance Analysis | 6 | Download |
| 7 | Model Integration for Formal Qualification of Timing‐Aware Software Data Acquisition Components | 6 | Download |
| 8 | SoC/SoPC Development using MDD and MARTE Profile | 6 | Download |
| 9 | List of Authors | 6 | Download |
| 10 | Index | 5 | Download |