Verification of System Level Model Transformations
- 作者Samar Abdi; Daniel Gajski
- 卷第34卷
- 期第1期
- 印刷ISSN0885-7458
- 电子ISSN1573-7640
- 文件大小272.99KB
- 发表时间2006-03
- DOI10.1007/s10766-005-0001-y
- 页码29-59
同作者推荐
Measurement and modeling of vapor–liquid equilibria at high salt concentrationsP. Kolář; H. Nakata; A. Tsuboi; P. Wang; A. Anderko · 2005
Modeling phase equilibria and speciation in mixed-solvent electrolyte systemsP. Wang; R.D. Springer; A. Anderko; R.D. Young · 2004
Modeling phase equilibria and speciation in mixed-solvent electrolyte systems: II. Liquid–liquid equilibria and properties of associating electrolyte solutionsP. Wang; A. Anderko; R.D. Springer; R.D. Young · 2006