Safety, dependability and performance analysis of extended AADL models /

Mã QR

Safety, dependability and performance analysis of extended AADL models /

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Safety analysis and methods in a railway signalling system /
Bỡi: Chang, Kwang-Chi.

Mean value analysis for a class of PEPA models /
Bỡi: Thomas, Nigel.

"3+3 process" for safety critical software for I&C system in nuclear power plants /
Bỡi: Jung, Jae-Cheon.

High Performance Liquid Chromatography in Phytochemical Analysis
Bỡi: Waksmundzka-Hajnos, Monika, et al.
Được phát hành: (2015)

Development of a simplified model for analyzing the performance of KALIMER-600 coupled with a supercritical carbon dioxide brayton energy conversion cycle /
Bỡi: Seong, Seung-Hwan.

Modeling, Analysis, and Control of Dynamic Systems /
Bỡi: J.Palm William
Được phát hành: (2000)

Estimating panel data duration models with censored data /
Bỡi: Lee, Sokbae.

Modeling, Analysis, and Control of Dynamic Systems (sách photo) /
Bỡi: J.Palm William
Được phát hành: (2000)

Performance of parallel analysis in retrieving unidimensionality in the presence of binary data /
Bỡi: Tran, Ulrich S.

Food chemistry safety
Được phát hành: (2002)

Dynamics with Friction: Modeling, Analysis and Experiment Part 2 /
Bỡi: Guran Ardeshir
Được phát hành: (2011)

Dependence asymmetry, joint dependence in interorganizational relationships : Effects of embeddedness on a manufacturer's performance in procurement relationships /
Bỡi: Gulati, Ranja.

Mathematical modeling for system analysis in agricultural research
Bỡi: Vohnout, Karel D.
Được phát hành: (2003)

Introduction to regression modeling
Bỡi: Abraham, Bovas

Horizon expansion of thermal-hydraulic activities into HTGR safety analysis including gas-turbine cycle and hydrogen plant /

Thí nghiệm phân tích thực phẩm
Bỡi: Trần, Bích Lam
Được phát hành: (2006)

An Introduction to Modern Analysis
Bỡi: Montesinos, Vicente, et al.
Được phát hành: (2015)

Equivalence theorem for generalized dependencies in relational databases /
Bỡi: Nguyen Xuan Huy.

Magnitude of task-sampling variability in performance assessment : A meta-analysis /
Bỡi: Huang, Chiungjung.

Non-linear modeling and analysis of solids and structures
Bỡi: Krenk, S
Được phát hành: (2013)

Computer Performance Engineering
Bỡi: Bakhshi, Rena, et al.
Được phát hành: (2020)

General trimmed estimation : Robust approach to nonlinear and limited dependent variable models /
Bỡi: Cizek, Pavel.

Data Analysis Using Regression and Multilevel/Hierarchical Models
Bỡi: Gelman, Andrew, et al.
Được phát hành: (2013)

Mathematical Analysis and Applications in Modeling
Bỡi: Roy, Priti Kumar, et al.
Được phát hành: (2020)

The effects of initially misclassified data on the effectiveness of discriminant function analysis and finite mixture modeling /
Bỡi: Holden, Jocelyn E.

From Calculus to Analysis
Bỡi: Pedersen, Steen
Được phát hành: (2015)

Safety assessment of Korean nuclear facilities : Current status and future /
Bỡi: Baek, Won-Pil.

Thermal analysis of polymers :
Được phát hành: (2009)

Discourse analysis for language teachers
Bỡi: Michael McCarthy
Được phát hành: (1991)

Equivalence theorem for generalized dependencies in relational databases
Bỡi: Nguyen, Xuan Huy, et al.
Được phát hành: (2014)

Reliability and performance of mirrored disk organizations /
Bỡi: Thomasian, Alexander.

Introduction to regression modeling
Bỡi: Bovas Abraham
Được phát hành: (2006)

Modern chromatographic analysis of vitamins
Được phát hành: (2000)

Linear programming and economic analysis
Bỡi: Dorfman, Robert
Được phát hành: (1958)

Modeling complex systems
Bỡi: Boccara, Nino
Được phát hành: (2004)

Direct Methods for Limit and Shakedown Analysis of Structures (Advanced Computational Algorithms and Material Modelling)
Bỡi: Fuschi, Paolo, et al.
Được phát hành: (2015)

Data reduction and error analysis for the physical sciences
Bỡi: Bevington, Philip R
Được phát hành: (2013)

Chemical analysis of ecological materials
Được phát hành: (1974)

Evaluation of parallel analysis methods for determining the number of factors /

Modeling and Stochastic Learning for Forecasting in High Dimensions
Bỡi: Antoniadis, Anestis, et al.
Được phát hành: (2015)