System safety - Congresses.
概要
作品: | 5 作品在 5 項出版品 5 種語言 |
---|
書目資訊
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(書目-電子資源)
Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
by:
(書目-電子資源)
主題