close
1.

図書

図書
edited by T. Hilburn, G. Suski, and J. Zalewski
出版情報: New York : Published for the International Federation of Automatic Control by Pergamon, 1996  ix, 287 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings: Software Safety
Hardware Safety
Medical Devices
Nuclear Industries
Tools
Formal Methods in Control
Specification and Analysis
Aerospace Industries
Automotive Industries
Other Industries
Certification and Licensing
Modeling
Chapter headings: Software Safety
Hardware Safety
Medical Devices
2.

図書

図書
edited by J.A. Baylis
出版情報: Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983  xi, 269 p. ; 31 cm
シリーズ名: IFAC proceedings series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼