SEFM: software engineering and formal methods
- 期刊名称Software & Systems Modeling
- 作者Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo
- 卷第14卷
- 期第1期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小109.32KB
- 发表时间2015-2
- DOI10.1007/s10270-014-0404-6
- 页码3-4
Special Issue on 20Renard, Philippe; Mariethoz, Grégoire · Mathematical Geosciences · 2014
Best Paper Award 2012Rapakousiou, Amalia; Wang, Yanlan; Ruiz, Jaime; Astruc, Didier · Mathematical Geosciences · 2014
Projection Pursuit Multivariate TransformBarnett, Ryan M.; Manchuk, John G.; Deutsch, Clayton V. · Mathematical Geosciences · 2014
Differential Models for Evolutionary CompositionsEgozcue, Juan José; Jarauta-Bragulat, Eusebi · Mathematical Geosciences · 2014
The Editor’s Best Reviewer Awards 2013Mathematical Geosciences · 2014
Pyrcz and Deutsch: Geostatistical Reservoir ModelingEidsvik, Jo · Mathematical Geosciences · 2015
Anisotropy Models for Spatial DataAllard, D.; Senoussi, R.; Porcu, E. · Mathematical Geosciences · 2016
Best Paper Award 2013Mathematical Geosciences · 2014