Safety, dependability and performance analysis of extended AADL models /

Mã QR

Safety, dependability and performance analysis of extended AADL models /

Đã lưu trong:

Bibliografiske detaljer
Andre forfattere:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Format:	Bài viết
Sprog:	English
Fag:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

Mean value analysis for a class of PEPA models /
af: Thomas, Nigel.

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

High Performance Liquid Chromatography in Phytochemical Analysis
af: Waksmundzka-Hajnos, Monika, et al.
Udgivet: (2015)

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

Modeling, Analysis, and Control of Dynamic Systems /
af: J.Palm William
Udgivet: (2000)

E2v-PhoBERT: A Fine-Tuned PhoBERT Model with Enhanced Accuracy for High-Performance Vietnamese Sentiment Analysis
af: Dang, Dai Tho, et al.
Udgivet: (2025)

SDN Model Research and Construction; Vulnerabilities Analysis in Controllers
af: Le, Thi Khanh Dung
Udgivet: (2025)

Modeling, Analysis, and Control of Dynamic Systems (sách photo) /
af: J.Palm William
Udgivet: (2000)

Estimating panel data duration models with censored data /
af: Lee, Sokbae.

Hedged performatives in economic speeches in english and vietnamese – a contrastive analysis
af: Hoàng Thảo Thủy
Udgivet: (2025)

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

Spreadsheet Modeling and Decision Analysis: A Practical Introduction to Business Analytics (9th edition)
af: Cliff, T. Ragsdale
Udgivet: (2023)

Food chemistry safety
Udgivet: (2002)

Dynamics with Friction: Modeling, Analysis and Experiment Part 2 /
af: Guran Ardeshir
Udgivet: (2011)

Mathematical modeling for system analysis in agricultural research
af: Vohnout, Karel D.
Udgivet: (2003)

Introduction to regression modeling
af: Abraham, Bovas

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

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

Studying Tourist Satisfaction with Smart Tourism in Danang City: Apply an Integrated Approach Using IPA and Conjoint Analysis
af: Le, Phuoc Thinh, et al.
Udgivet: (2026)

Financial Forecasting, Analysis and Modelling: A Framework for Long-Term Forecasting
af: Michael, Samonas
Udgivet: (2024)

Thí nghiệm phân tích thực phẩm
af: Trần, Bích Lam
Udgivet: (2006)

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

Computer Performance Engineering
af: Bakhshi, Rena, et al.
Udgivet: (2020)

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

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems and Cyber Physical Systems
af: Edward, Griffor
Udgivet: (2023)

Mathematical Analysis and Applications in Modeling
af: Roy, Priti Kumar, et al.
Udgivet: (2020)

Equivalence theorem for generalized dependencies in relational databases /
af: Nguyen Xuan Huy.

Non-linear modeling and analysis of solids and structures
af: Krenk, S
Udgivet: (2013)

Data Analysis Using Regression and Multilevel/Hierarchical Models
af: Gelman, Andrew, et al.
Udgivet: (2013)

An Introduction to Modern Analysis
af: Montesinos, Vicente, et al.
Udgivet: (2015)

Introduction to regression modeling
af: Bovas Abraham
Udgivet: (2006)

Modeling complex systems
af: Boccara, Nino
Udgivet: (2004)

Reliability and performance of mirrored disk organizations /
af: Thomasian, Alexander.

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

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

Modeling and Stochastic Learning for Forecasting in High Dimensions
af: Antoniadis, Anestis, et al.
Udgivet: (2015)

Linear programming and economic analysis
af: Dorfman, Robert
Udgivet: (1958)

An abstract semantically rich compiler collocative and interpretative model for OpenMP programs /
af: Mokbel, Mohammed F.

Equivalence theorem for generalized dependencies in relational databases
af: Nguyen, Xuan Huy, et al.
Udgivet: (2014)