<--- Back to Details
First PageDocument Content
Acronyms / Hydrogen maser / Human spaceflight / Maser / Sputtering / Crystal oscillator / Vacuum tube / Ionizing radiation / Reliability / Technology / Spaceflight / Physics
Date: 2012-12-26 10:54:16
Acronyms
Hydrogen maser
Human spaceflight
Maser
Sputtering
Crystal oscillator
Vacuum tube
Ionizing radiation
Reliability
Technology
Spaceflight
Physics

A STUDY TO IDENTIFY HYDROGEN MASER FAILURE MODES

Add to Reading List

Source URL: authors.library.caltech.edu

Download Document from Source Website

File Size: 247,03 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