Software - Practice and Experience （SPE） - Issue 475 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 475 |
| 发布时间： |
| 卷期年份： 2012 |
| 卷期官网： |
本期论文列表
Validating quality attribute requirements via execution-based model checking.
Current techniques and future trends in embedded system's virtualization.
Editorial to the Special Issue of Rapid System Prototyping'10.
Model-driven rapid prototyping with Umple.
Development of electric/electronic architectures for safety-related vehicle functions.
MpAssign: a framework for solving the many-core platform mapping problem.
Design, implementation and verification of MILS systems.
An asynchronous hierarchical router for networks-on-chip-based three-dimensional multi-processor system-on-chip.