寄付 2024年9月15日 – 2024年10月1日募金について

Safety of Computer Control Systems 1992 (Safecomp ' 92)....

Main
Computers - Hardware
Safety of Computer Control Systems 1992...

Safety of Computer Control Systems 1992 (Safecomp ' 92). Computer Systems in Safety-Critical Applications

H.H. Frey

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems

カテゴリー:

Computers - Hardware

年:

1992

版:

1st

出版社:

Elsevier Ltd, Pergamon

言語:

english

ページ:

332

ISBN 10:

0080418937

ISBN 13:

9780080418933

シリーズ:

SAFECOMP' 92

ファイル:

PDF, 30.20 MB

IPFS:

,

english, 1992

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

International Federation of Automatic Control.; European Workshop on Industrial Computer Systems. Technical Committee on Safety, Security and Reliability.; The Safety and Reliability Society — Safety, security and reliability related computers for the 1990s : Symposium : Selected papers

— Verification, Validation of Software for Nucl. Powerplant Instrumen., Ctl. (IAEA TRS-384)

AAAAAAAA — Microsoft Word - swel1.doc

Lawrence J.D. — Software Reliability and Safety in Nuclear Reactor Protection Systems

Ricky Barnes — Computer Security Principles

International Federation of Automatic Control, R. Lauber — Safety of Computer Control Systems. Proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16–18 May 1979

Ifac, England) Ifip Workshop 1983 (Cambridge, J. A. Baylis, J. A. Baylis, International Federation of Automatic Control, International Federation for Information Processing, Institution of Electrical Engineers — Safety of Computer Control Systems 1983 (Safecomp '83). Achieving Safe Real Time Computer Systems

William J. Quirk — Safety of Computer Control Systems 1986 (Safecomp '86). Trends in Safe Real-Time Computer Systems

Marshall C. Yovits — Advances in Computers, Vol. 26

Ian Sommerville — Software Engineering: (Update) (8th Edition)

Daniel P. Siewiorek (Author); Robert S. Swarz (Author) — Reliable Computer Systems: Design and Evaluation, Third Edition

Michael A. Friedman, Jeffrey M. Voas — Software assessment : reliability, safety, testability

The British Standards Institution — BS EN 61508-7:2010 Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems - Overview of Techniques and Measures

Phil Bennett — Safety Aspects of Computer Control

Jean-Louis Boulanger — Industrial Use of Formal Methods: Formal Verification

Patrick Ziegler, Klaus R. Dittrich (auth.), Renè Jacquart (eds.) — Building the Information Society: IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France

Marco Bozzano, Adolfo Villafiorita — Design and Safety Assessment of Critical Systems

Knight, John — Fundamentals of Dependable Computing for Software Engineers

Tom Anderson (auth.), Janusz Górski (eds.) — SAFECOMP ’93: The 12th International Conference on Computer Safety, Reliability and Security

Francesco Flammini, Francesco Flammini — Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Boulanger J.-L. (ed.) — Industrial use of formal methods: formal verification

István Majzik, Marco Vieira (eds.) — Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Tom Gilb (auth.), Floor Koornneef, Meine van der Meulen (eds.) — Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings

John Fox (auth.), Udo Voges (eds.) — Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings

Sandro Bologna, Erik Hollnagel, Christopher Bartlett, Helmut Bezecny, Bjørn Axel Gran (auth.), Stuart Anderson, Massimo Felici, Sandro Bologna (eds.) — Computer Safety, Reliability and Security: 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

Rolf Isermann (auth.), Winfried Görke, Holger Sörensen (eds.) — Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20

Alberto Pasquini (auth.), Massimo Felici, Karama Kanoun (eds.) — Computer Safety, Reliability and Security: 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings

Willem Ridderhof, Hans-Gerhard Gross, Heiko Doerr (auth.), Francesca Saglietti, Norbert Oster (eds.) — Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

Paulo Veríssimo, Nuno F. Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam (auth.), Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.) — Architecting Dependable Systems V

Erik Hollnagel (auth.), Michael D. Harrison, Mark-Alexander Sujan (eds.) — Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Anne E. Haxthausen (auth.), Bettina Buth, Gerd Rabe, Till Seyfarth (eds.) — Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

Oliver Schulz, Jan Peleska (auth.), Erwin Schoitsch (eds.) — Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

Ewen Denney, Ganesh Pai (auth.), Frank Ortmeier, Peter Daniel (eds.) — Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

Jean-Claude Laprie (auth.), Brian Randell, Jean-Claude Laprie, Hermann Kopetz, Bev Littlewood (eds.) — Predictably Dependable Computing Systems

Dipl.-Math. Udo Voges (auth.), Dipl.-Math. Udo Voges (eds.) — Software Diversity in Computerized Control Systems

主要なフレーズ