Safety and reliability in emerging control technologies : a postprint volume from the 2nd IFAC Workshop, Daytona Beach, Florida, USA, 1-3 November 1995

所蔵情報QRコード

Safety and reliability in emerging control technologies : a postprint volume from the 2nd IFAC Workshop, Daytona Beach, Florida, USA, 1-3 November 1995 / edited by T. Hilburn, G. Suski, and J. Zalewski

版:

1st ed

資料種別:

図書

出版情報:

New York : Published for the International Federation of Automatic Control by Pergamon, 1996

形態:

ix, 287 p. ; 30 cm

著者名:

ISBN:

9780080426105 [0080426107]

書誌ID:

BA30374488

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

その他の標題:

Emerging control technologies

注記:

Includes bibliographical references and index

主題:

Automatic control--Congresses; Computers--Reliability--Congresses

言語:

英語

目次情報:

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

Nuclear Industries

Tools

Formal Methods in Control

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Safety of computer control systems 1983 (Safecomp '83) : achieving safe real time computer systems : proceedings of the 3rd IFAC/IFIP Workshop, Cambridge, UK, … IFAC/IFIP Workshop, Baylis, J. A., International Federation of Automatic Control, International Federation of … Published for the International Federation of Automatic Control by Pergamon Press	7 図書 Safety of computer control systems 1985 (Safecomp '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 … IFAC Workshop on Safety of Computer Control System, Quirk, William J., International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon Press
2 図書 Safety of computer control systems, 1991 (SAFECOMP '91) : safety, security, and reliability of computer based systems : proceedings of the IFAC/IFIP/EWICS/SRE … Lindeberg, J. F., IFAC/IFIP/EWICS/SRE Symposium on Safety of Computer Control Systems, International Federation of … Published for the International Federation of Automatic Control by Pergamon Press	8 図書 New trends in design of control systems : a postprint volume from the IFAC Workshop, Smolenice, Slovak Republic, 7-10 September, 1994 Huba, Mark, Mikleš, J, International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon
3 図書 Safety of computer control systems 1988 (SAFECOMP '88) : safety related computers in an expanding market : proceedings of the IFAC symposium, Fulda, FRG, 9-11 … IFAC Symposium, Ehrenberger, W. D., International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon Press	9 図書 Control applications of optimization 1995 : a postscript volume from the 10th IFAC Workshop, Haifa, Israel, 19-21 December 1995 Shinar, J. (Josef), Kirillova, F. M. (Faina Mikhaĭlovna), International Federation of Automatic Control, IFAC Workshop … Published for the International Federation of Automatic Control by Pergamon
4 図書 Safety, reliability and applications of emerging intelligent control technologies : a postprint volume from the IFAC workshop, Hong Kong, 12-14 December 1994 Ng, T. S., Hung, Y. S. (Yeung Sam), 1952-, International Federation of Automatic Control, IFAC Workshop on Safety, … Published for the International Federation of Automatic Control by Pergamon	10 図書 Low cost automation 1995 (LCA '95) : a postprint volume from the 4th IFAC Symposium, Buenos Aires, Argentina, 13-15 September 1995 IFAC Symposium on Low Cost Automation, Paiuk, J. (Jonas), Weisz, J. P., International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon
5 図書 Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 Lauber, Rudolf, International Federation of Automatic Control, IFAC Workshop on Safety of Computer Control System Published for the International Federation of Automatic Control by Pergamon Press	11 図書 New trends in design of control systems 1997 : a proceedins volume from the 2nd IFAC workshop, Smolenice, Slovak Republic, 7-10 September 1997 Kozak, Stefan, Huba, M., International Federation of Automatic Control, IFAC Workshop on New Trends in Design of Control … Published for the International Federation of Atomatic Control by Pergamon
6 図書 Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, … Safecomp, Quirk, William J., International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon Press	12 図書 Control of industrial systems : "control for the future of youth" : a proceedings volume from the IFAC Conference, Belfort, France, 20-22 May 1997 (: v. 1 : paper ; : v. 2 : paper ; : v. 3 : paper) IFAC Conference on Control of Industrial Systems, Gruĭich, L. T. (Li︠u︡bomir Tikhomira), International Federation … Published for the International Federation of Automatic Control by Pergamon