Safety, dependability and performance analysis of extended AADL models /

QR-koodi

Safety, dependability and performance analysis of extended AADL models /

Tallennettuna:

Bibliografiset tiedot
Muut tekijät:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
Aineistotyyppi:	Artikkeli
Kieli:	English
Aiheet:	AADL modelling language Dependability analysis Performance analysis Safety analysis
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

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

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

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

High Performance Liquid Chromatography in Phytochemical Analysis
Tekijä: Waksmundzka-Hajnos, Monika, et al.
Julkaistu: (2015)

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

Modeling, Analysis, and Control of Dynamic Systems /
Tekijä: J.Palm William
Julkaistu: (2000)

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

SDN Model Research and Construction; Vulnerabilities Analysis in Controllers
Tekijä: Le, Thi Khanh Dung
Julkaistu: (2025)

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

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

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

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

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

Food chemistry safety
Julkaistu: (2002)

Dynamics with Friction: Modeling, Analysis and Experiment Part 2 /
Tekijä: Guran Ardeshir
Julkaistu: (2011)

Mathematical modeling for system analysis in agricultural research
Tekijä: Vohnout, Karel D.
Julkaistu: (2003)

Introduction to regression modeling
Tekijä: Abraham, Bovas

Dependence asymmetry, joint dependence in interorganizational relationships : Effects of embeddedness on a manufacturer's performance in procurement relationships /
Tekijä: 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
Tekijä: Le, Phuoc Thinh, et al.
Julkaistu: (2026)

Financial Forecasting, Analysis and Modelling: A Framework for Long-Term Forecasting
Tekijä: Michael, Samonas
Julkaistu: (2024)

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

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

Computer Performance Engineering
Tekijä: Bakhshi, Rena, et al.
Julkaistu: (2020)

General trimmed estimation : Robust approach to nonlinear and limited dependent variable models /
Tekijä: 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
Tekijä: Edward, Griffor
Julkaistu: (2023)

Mathematical Analysis and Applications in Modeling
Tekijä: Roy, Priti Kumar, et al.
Julkaistu: (2020)

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

Non-linear modeling and analysis of solids and structures
Tekijä: Krenk, S
Julkaistu: (2013)

Data Analysis Using Regression and Multilevel/Hierarchical Models
Tekijä: Gelman, Andrew, et al.
Julkaistu: (2013)

An Introduction to Modern Analysis
Tekijä: Montesinos, Vicente, et al.
Julkaistu: (2015)

Introduction to regression modeling
Tekijä: Bovas Abraham
Julkaistu: (2006)

Modeling complex systems
Tekijä: Boccara, Nino
Julkaistu: (2004)

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

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

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

Modeling and Stochastic Learning for Forecasting in High Dimensions
Tekijä: Antoniadis, Anestis, et al.
Julkaistu: (2015)

Linear programming and economic analysis
Tekijä: Dorfman, Robert
Julkaistu: (1958)

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

Equivalence theorem for generalized dependencies in relational databases
Tekijä: Nguyen, Xuan Huy, et al.
Julkaistu: (2014)