最 低 价：￥372.70
| Invited Paper Designing Safety into Medical Decisions and Clinical PrOcesses Reliability Assessment and Security Security Assessments of Safety Critical Systems Using HAZOPs Network Security for Substation Automation Systems A Bayesian Belief Network for Reliability Assessment Safety Case and Safety Analysis Checking General Safety Criteria on UML Statecharts Presenting a Safety Case-A Case Study Safety Functions versus Control Functions Medical Systems A Fail-Safe Dual Channel Robot Control for Surgery AoDlications Invited Paper Modelling the Human in Human Factors Human-Machine Interface Analyzing Human—Machine Interactions in Safety—Critical Systems：A Basic Applicable Approach Analysis of Incidents Involving InteractiVe Systems COTS-Components off the Shelf Experimental Evaluation of Fault Handling Mechanisms The COTS Debate in Perspective Testing An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures The Effectiveness of Statistical Testing when Applied to Logic Systems Formal Methods A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B Safety Patterns-The Key to Formal Specification of Safety Requirements Formal Support for Fault Modeling and Analysis Invited Paper Control Systems Author Index |
内容加载中，请稍后...
商品评论（0条）