안전중시 시스템을 위한 체계적인 설계 프로세스에 관한 연구

It is becoming more and more important to develop safety-critical systems with special attention. Examples of the safety-critical systems include the mass transportation systems such as high speed trains, airplanes, ships and so forth. Safety critical issues can also exist in the development of atom...