An integrated environment of S/W specification and V&V for safety-critical systems

Seo Ryong Koo, Poong-Hyun Seong, Junbeom Yoo, Sung Deok Cha, Cheong Youn, Hyun-chul Han. An integrated environment of S/W specification and V&V for safety-critical systems. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. pages 607-612, IASTED/ACTA Press, 2004.

Abstract

Abstract is missing.