語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
System safety
概要
作品:
10 作品在 6 項出版品 6 種語言
書目資訊
Safety systems reliability /
by:
(書目-語言資料,印刷品)
Reliability engineering & system safety.
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:
(書目-電子資源)
Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers /
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:
(書目-電子資源)
Data-centric safety = challenges, approaches, and incident investigation /
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 = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers /
by:
(書目-電子資源)
主題
Software Engineering.
Data protection
Systems engineering
Logics and Meanings of Programs.
Reliability (Engineering)
Complexity.
Computation by Abstract Devices.
Reliability (Engineering)- Periodicals.
Formal methods (Computer science)
Automotive Engineering.
Programming Languages, Compilers, Interpreters.
System safety.
Computer networks- Security measures
Atomic power-plants- Reliability
Atomic power-plants- Safety measures
Industrial safety
Computer Science.
Systems and Data Security.
System Performance and Evaluation.
Engineering.
Simulation and Modeling.
System safety
Industrial safety- Management
Transportation- Safety measures
Quality Control, Reliability, Safety and Risk.
處理中
...
變更密碼
登入