Design Specification and Verification 论文

1997引用 215
Model-Driven Software Engineering TechniquesEmbedded Systems Design TechniquesManufacturing Process and Optimization