Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Safety of Computer Control Systems 1983 (Safecomp '83)....

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

Safety of Computer Control Systems 1983 (Safecomp '83). Achieving Safe Real Time Computer Systems

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

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Not Used Looking Old VERY GOOD CONDITION DISPATCH SAME DAY BY REGISTERED SPEED POST DELIVERY 3-7 BUSINESS DAYS

Կատեգորիաներ:

Computers - Hardware

Տարի:

1983

Հրատարակում:

1st

Հրատարակչություն:

Elsevier Ltd, Franklin Book Co

Լեզու:

english

Էջեր:

269

ISBN 10:

0080305636

ISBN 13:

9780080305639

Սերիաներ:

I F a C Symposia Series

Ֆայլ:

PDF, 28.29 MB

IPFS:

,

english, 1983

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

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

AshrafArmoush — DesignPatternsforSafety-CriticalEmbeddedSystems

AAAAAAAA — Microsoft Word - swel1.doc

Pham H., Pham M. — Software Reliability Models for Critical Applications

Gray J., Siewiorek D.P. — High Availability Computer Systems

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

— IEEE Software (July/August)

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

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

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

Israel Koren, C. Mani Krishna, — Fault-Tolerant Systems

Duane Kritzinger — Aircraft System Safety. Assessments for Initial Airworthiness Certification

Jean-Louis Boulanger — Certifiable Software Applications 1. Main Processes

Arnowitz J., Berger N., Arent M. — Effective Prototyping for Software Makers

Daniel P Siewiorek; Robert S Swarz — Reliable computer systems : design and evaluation

H. Kopetz (auth.) — Software Reliability

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

Phil Bennett — Safety Aspects of Computer Control

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

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

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

Manfred Kersken (auth.), Manfred Kersken, Francesca Saglietti (eds.) — Software Fault Tolerance: Achievement and Assessment Strategies

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

A. Fehnker, M. Fruth, A. K. McIver (auth.), Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (eds.) — Methods, Models and Tools for Fault Tolerance

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

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

Mel Barnes (auth.), Prof. Dr. Algirdas Avižienis, Dr. Jean-Claude Laprie (eds.) — Dependable Computing for Critical Applications

Dr. J. C. Laprie (auth.), Dr. J. C. Laprie (eds.) — Dependability: Basic Concepts and Terminology: In English, French, German, Italian and Japanese

Sandro Bologna, Øivind Berg, Kjell Haugset, Jon Kvalem (auth.), Prof. John F. Meyer, Prof. Richard D. Schlichting (eds.) — Dependable Computing for Critical Applications 2

H. Kopetz (auth.), Prof. Hermann Kopetz, Dr. Yoshiaki Kakuda (eds.) — Responsive Computer Systems

Hoang Pham — Recent Advances in Reliability and Quality Engineering (Series on Quality, Reliability & Engineering Statistics, V. 2)

Ricky Barnes — Computer Security Principles

Հիմնական արտահայտություններ