| The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.) |
| CMMI RAMS Extension Based on CENELEC Railway Standard The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems Defining and Decomposing Safety Policy for Systems of Systems Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment Control and Data Flow Testing on Function Block Diagrams Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software Automatic Analysis of a Safety Critical Tele Control System A Formal Model for Fault-Tolerance in Distributed Systems Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control On the Effectiveness of Run-Time Checks A Technique for Fault Tolerance Assessment of COTS Based Systems Finding Upper Bounds for Software Failure Probabilities - Experiments and Results Justification of Smart Sensors for Nuclear Applications Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain Public-Key Cryptography and Availability End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems Safety Interfaces for Component-Based Systems A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts Are High-Level Languages Suitable for Robust Telecoms Software? Functional Apportioning of Safety Requirements on Railway Signalling Systems Automatic Code Generation for PLC Controllers …… Author Index |
内容加载中，请稍后...
商品评论（0条）