Hierarchical Partitioning Public-domain Software 论文

2003Biodiversity and Conservation引用 406
Model-Driven Software Engineering TechniquesEmbedded Systems Design TechniquesFormal Methods in Verification