SPARK 2014 and GNATprove
- 期刊名称International Journal on Software Tools for Technology Transfer
- 作者Hoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小658.83KB
- 发表时间2014-10-28
- DOI10.1007/s10009-014-0322-5
Characterization of Atmospheric Corrosion Products on Weathering Steelsde MEYBAUM, BLANCA R.; AYLLON, EDUARDO S. · Corrosion · 1980
Characterization of the Corrosion Products Formed on Carbon Steel in Qinghai Salt Lake AtmosphereLi, Q. X.; Wang, Z. Y.; Han, W.; Han, E. H. · Corrosion · 2007
Characterization of corrosion products formed on steels in the first months of atmospheric exposureAntunes, Renato Altobelli; Costa, Isolda; Faria, Dalva Lúcia Araújo de · Materials Research · 2003
Characterization of corrosion products on chalcographic copper plates after 200 years' exposure to indoor atmospheresE. Otero; J. M. Bastidas; W. López; J. L. G. Fierro · 1994
Characterization of corrosion products of Zn and Zn–Mg–Al coated steel in a marine atmosphereDiler, E.; Rouvellou, B.; Rioual, S.; Lescop, B.; Nguyen Vien, G.; Thierry, D. · Corrosion Science · 2014
SEM/Micro-Raman Characterization of the Morphologies of Marine Atmospheric Corrosion Products Formed on Mild SteelMorcillo, M.; Chico, B.; Alcántara, J.; Díaz, I.; Wolthuis, R.; de la Fuente, D. · Journal of The Electrochemical Society · 2016
Characterization of atmospheric corrosion products of zinc exposed to SO2and NO2using XPS and GIXDJuan G. Castaño; Carlos Arroyave; Manuel Morcillo · 2007
Oxygen solid electrolyte coulometry (OSEC)Vashook, V.; Zosel, J.; Guth, U. · Journal of Solid State Electrochemistry · 2012
Galvanostatic phase formationIsaev, Vladimir A.; Grishenkova, Olga V. · Journal of Solid State Electrochemistry · 2014
Theoretical problems in solid electrocapillarityGutman, Emmanuel M. · Journal of Solid State Electrochemistry · 2014
Glass-based redox sensorW. Vonau,F. Gerlach,K. Ahlborn · Journal of Solid State Electrochemistry · 2013
ForewordBanas, Jacek; Miecznikowski, Krzysztof · Journal of Solid State Electrochemistry · 2014
Carbazole electrochemistry: a short reviewKaron, Krzysztof; Lapkowski, Mieczyslaw · Journal of Solid State Electrochemistry · 2015
The Definition of ElectrochromismFletcher, Stephen · Journal of Solid State Electrochemistry · 2015
Electrochemical dating: a reviewDoménech-Carbo, Antonio · Journal of Solid State Electrochemistry · 2017