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

Autor: Koo, Seo Ryong, Son, Han Seong, Seong, Poong Hyun
Zdroj: In The Journal of Systems & Software 2003 67(3):213-224
Databáze: ScienceDirect