Computer safety, reliability and security : 17th international conference, SAFECOMP'98, Heidelberg, Germany, O
Author: Ehrenberger, W. D, SAFECOMP'98 (1998 : Heidelberg, Germany)
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Computer systems, Computer security, authentification, sécurité système, méthode formelle, fiabilité logiciel, sécurité informatique, Systèmes informatiques, Sécurité informatique, Computerbeveiliging, Ciencia da computacao ou informatica, Ordinateurs, Ciencia da computacao ou informatica, Systèmes informatiques, Ordinateurs
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540651101, 9783540651109
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 205.23 MB
PDF Size: 14.86 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 941
Views: 991
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 08:51:00
Size: 12.13 KB
Description
Author: Wolfgang Ehrenberger
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65110-9
DOI: 10.1007/3-540-49646-7
Table of Contents:
- CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
- An Agenda for Specifying Software Components with Complex Data Models
- Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns
- Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
- Linking Hazard Analysis to Formal Specification and Design in B
- Controlling Your Design through Your Software Process
- Operator Errors and Their Causes
- A Performance Comparison of Group Security Mechanisms
- Towards Secure Downloadable Executable Content: The JAVA Paradigm
- Model and Implementation of a Secure SW-Development Process for Mission Critical Software
- Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems
- “Profit by Safety” or Quackery in Biomedical Information Technology?
- Towards Automated Proof of Fail-Safe Behavior
- Verifying a time-triggered protocol in a multi-language environment
- Methods and Languages for Safety Related Real Time Programming
- ANSI-C in Safety Critical Applications Lessons-Learned from Software Evaluation
- A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools
- Applying Formal Methods in Industry The UseGat Project
- Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
- Fault-Tolerant Communication in Large-Scale Manipulators
Includes bibliographical references and index