- static reliability model
- статическая модель надежности
Большой англо-русский и русско-английский словарь. 2001.
static reliability model
Смотреть что такое "static reliability model" в других словарях:
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Model aircraft — A die cast Boeing 747 400 model. Model aircraft are flying or non flying models of existing or imaginary aircraft using a variety of materials including plastic, diecast metal, polystyrene, balsa wood, foam and fibreglass. Flying designs range… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model railway scales — This page lists the most important model railway scale standards in the world. Most standards are regional, but some have followers in other parts of the world outside their native region, most notably NEM and NMRA. It should be noted that while… … Wikipedia
Curtiss Model E — Model E The A 1, the United States Navy s first aircraft Role Utility aircraft Manufacturer … Wikipedia
Meta-model (NLP) — This article is about the concept of the meta model in Neuro linguistic programming. For other uses, see Meta model. NLP … Wikipedia
T. V. S. R. Appa Rao — T.V.S.R. Appa Rao is a scientist from India. He is an Emeritus Scientist with over 40 years of experience in Research Development in the areas of structural analysis design, testing, and failure investigations including those due to natural… … Wikipedia
N1 (rocket) — This article is about the Soviet rocket. For the Japanese rocket, see N I rocket N1 N1 L3 rocket on the launchpad at Baikonur Cosmodrome Function Manned lunar carrier rocket Manufacturer OKB 1 Country of origin … Wikipedia
Modelchecking — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfer — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
Modellprüfung — Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für … Deutsch Wikipedia
