Computer safety, reliability, and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Neth
User Rating: Be the first one!
Author: SAFECOMP 2000 (2000 : Rotterdam, Netherlands), Koornneef, Floor, 1950-, Meulen, Meine van der, 1964-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer software, Electronic digital computers, Computer security, Industrial safety
Publishers: New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540411860
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 273.11 MB
PDF Size: 54.3 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 905
Views: 955
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 3 540 40891 6 archive t...torrent
Last Modified: 2022-03-09 08:39:27
Download
Size: 14.78 KB
Description
Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings
Author: Floor Koornneef, Meine van der Meulen
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41186-4
DOI: 10.1007/3-540-40891-6
Table of Contents:
Author: Floor Koornneef, Meine van der Meulen
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41186-4
DOI: 10.1007/3-540-40891-6
Table of Contents:
- The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
- Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
- Speeding-Up Fault Injection Campaigns in VHDL Models
- Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
- Validation of Control System Specifications with Abstract Plant Models
- A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
- Expert Error: The Case of Trouble-Shooting in Electronics
- The Safety Management of Data-Driven Safety-Related Systems
- Software Support for Incident Reporting Systems in Safety-Critical Applications
- A Dependability-Explicit Model for the Development of Computing Systems
- Deriving Quantified Safety Requirements in Complex Systems
- Improving Software Development by Using Safe Object Oriented Development : OTCD
- A Safety Licensable PES for SIL 4 Applications
- Safety and Security Issues in Electric Power Industry
- Dependability of Computer Control Systems in Power Plants
- A Method of Analysis of Fault Trees with Time Dependencies
- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
- Formal Methods: The Problem Is Education
- Formal Methods Diffusion: Past Lessons and Future Prospects
- Safe Tech: A Control Oriented Viewpoint
You May Also Like
We will be happy to hear your thoughts