Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 5

Content of Issue 10
DOI: 10.3217/jucs-005-10
J.UCS Special Issue on Dependability Evaluation and Validation K. Echtle, J. Keller 632
Advanced Fault Tree Modeling W. G. Schneeweiss 633
Efficient Approximate Reliability Evaluation Using the Markovian Minimal Cut Approach H.-D. Kochs, H. Hilmer, T. Nisbach 644
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification F. C. Gärtner 668
Fault Injection for Embedded Microprocessor-Based Systems A. Benso, M. Rebaudengo, M. Sonza Reorda 693
Laser Injection of Soft Faults for the Validation of Dependability Design W. A. Moreno, J. R. Samson, Jr., F. J. Falquez 712
Electronic Throttle Control _ A Dependability Case Study H. Mauser, E. Thurner 730