<--- Back to Details
First PageDocument Content
Engineering / Survival analysis / Failure / Reliability engineering / Mean time between failures / Availability / Failure rate / Highly accelerated life test / Reliability / Survival function / Reliability prediction for electronic components / Software reliability testing
Date: 2009-03-26 14:51:19
Engineering
Survival analysis
Failure
Reliability engineering
Mean time between failures
Availability
Failure rate
Highly accelerated life test
Reliability
Survival function
Reliability prediction for electronic components
Software reliability testing

Microsoft Word - WG_ESS_report_47_ostende.doc

Add to Reading List

Source URL: www.ceees.org

Download Document from Source Website

File Size: 337,62 KB

Share Document on Facebook

Similar Documents

Airline catering / Opfikon / Swissair / Swissport / Aircraft ground handling / Business / Swissport Tanzania / Economy

SWISSPORT AT A GLANCE Swissport International Ltd. is the leading global airport and aviation service provider in terms of quality, reliability, safety, innovation and network coverage. Offering a comprehensive range of

DocID: 1xVHl - View Document

GRADUATE SEMINAR Olusesan Ogunsanya Hypothesis testing for three main Reliability models MSc Student supervised by Andrei Volodin Wednesday, April 4th

DocID: 1xVb7 - View Document

Markov processes / Probability / Markov models / Model checkers / PRISM model checker / Model checking / Markov reward model / Markov chain / Markov decision process / Probabilistic CTL / Prism

PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.

DocID: 1xVaU - View Document

Computing / Software engineering / Computer programming / Software bugs / Software testing / Computer network security / Debuggers / Common Weakness Enumeration / Memory debugger / Memory safety / Application security / Frama-C

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

DocID: 1xUYu - View Document

Computing / Software engineering / Data types / Computer programming / Primitive types / Formal languages / Formal methods / ANSI/ISO C Specification Language / C / String / Frama-C / Permutation

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

DocID: 1xUSC - View Document