A model for computerized procedures based on flowcharts and success logic trees

Yeonsub Jung, PoongHyun Seong, ManCheol Kim. A model for computerized procedures based on flowcharts and success logic trees. Rel. Eng. & Sys. Safety, 83(3):351-362, 2004. [doi]

Abstract

Abstract is missing.