A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction

Seo Ryong Koo, Han Seong Son, Poong-Hyun Seong. A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction. Journal of Systems and Software, 67(3):213-224, 2003. [doi]

Abstract

Abstract is missing.