PF Zhao, Y Zhang, ZB Li, XY Yuan - Applied Mechanics and …, 2011 - Trans Tech Publ
To solve the problem of anticorrosion design in early stage of manufacture, a formal method
of anticorrosion design was proposed, and a formal model of conceptual design of …