下面的描述哪些是正确的？

A.STAMP是Systems-TheoreticAccidentModelandProcesses的简称

B.STAMP是美国麻省理工大学Leveson教授2004年提出的

C.STAMP模型以系统理论为基础，将系统安全性视为复杂系统的涌现性

D.STAMP模型采用多层次控制结构建模方法构建安全控制结构模型

正确答案：STAMP是Systems-TheoreticAccidentModelandProcesses的简称；STAMP是美国麻省理工大学Leveson教授2004年提出的；STAMP模型以系统理论为基础，将系统安全性视为复杂系统的涌现性；STAMP模型采用多层次控制结构建模方法构建安全控制结构模型