System safety - Handbooks, manuals, etc.

Data-centric safety = challenges, approaches, and incident investigation / by: (書目-語言資料,印刷品)

Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / by: (書目-語言資料,印刷品)

FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems / by: (書目-語言資料,印刷品)

The handbook of safety engineering : = principles and applications / by: (書目-語言資料,印刷品)

Proceedings of the International Symposium on Engineering under Uncertainty: Safety Assessment and Management (ISEUSAM - 2012) by: (書目-語言資料,印刷品)

Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Concise encyclopedia of system safety = definition of terms and concepts / by: (書目-語言資料,印刷品)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods (Computer science)

Systems and Data Security.

Risk management

Data protection

Complexity.

Logics and Meanings of Programs.

Systems engineering

Automotive Engineering.

Engineering.

Programming Languages, Compilers, Interpreters.

Software Engineering.

Natural Hazards.

Industrial safety

System Performance and Evaluation.

System safety

Computer networks

Computer Science.

Quality Control, Reliability, Safety and Risk.

Transportation

System safety.

Simulation and Modeling.

Reliability (Engineering)

Construction Management.

Computation by Abstract Devices.