[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Proceedings Eighth IEEE International Symposium on High Assurance Systems Engineering2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Proceedings. Eighth IEEE International Symposium on High Assurance Systems Engineering2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Eighth IEEE International Symposium on High Assurance Systems Engineering Table of Contents2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Reviewers2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - State oriented programmingNomoto, H. · 2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Organizing committee2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Author index2004

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Tampa, FL, USA (2004.03.26-2004.03.26)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Program committee2004

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specificationSeo Ryong Koo; Poong Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo · 2005