System safety - Mathematical models.

Risk management technologies[electronic resource] :with logic and probabilistic models / …で: (言語・文字資料 (印刷物))

Mathematical Logic and Formal Languages.

Business Information Systems.

Engineering.

Risk management

System safety

Quality Control, Reliability, Safety and Risk.