Safety, dependability and performance analysis of extended AADL models /

QRコード

Safety, dependability and performance analysis of extended AADL models /

保存先:

書誌詳細
その他の著者:	Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco.
フォーマット:	論文
言語:	English
主題:	AADL modelling language Dependability analysis Performance analysis Safety analysis
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

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

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

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

High Performance Liquid Chromatography in Phytochemical Analysis
著者:: Waksmundzka-Hajnos, Monika, 等
出版事項: (2015)

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

Modeling, Analysis, and Control of Dynamic Systems /
著者:: J.Palm William
出版事項: (2000)

E2v-PhoBERT: A Fine-Tuned PhoBERT Model with Enhanced Accuracy for High-Performance Vietnamese Sentiment Analysis
著者:: Dang, Dai Tho, 等
出版事項: (2025)

SDN Model Research and Construction; Vulnerabilities Analysis in Controllers
著者:: Le, Thi Khanh Dung
出版事項: (2025)

Modeling, Analysis, and Control of Dynamic Systems (sách photo) /
著者:: J.Palm William
出版事項: (2000)

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

Hedged performatives in economic speeches in english and vietnamese – a contrastive analysis
著者:: Hoàng Thảo Thủy
出版事項: (2025)

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

Spreadsheet Modeling and Decision Analysis: A Practical Introduction to Business Analytics (9th edition)
著者:: Cliff, T. Ragsdale
出版事項: (2023)

Food chemistry safety
出版事項: (2002)

Dynamics with Friction: Modeling, Analysis and Experiment Part 2 /
著者:: Guran Ardeshir
出版事項: (2011)

Mathematical modeling for system analysis in agricultural research
著者:: Vohnout, Karel D.
出版事項: (2003)

Introduction to regression modeling
著者:: Abraham, Bovas

Dependence asymmetry, joint dependence in interorganizational relationships : Effects of embeddedness on a manufacturer's performance in procurement relationships /
著者:: 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
著者:: Le, Phuoc Thinh, 等
出版事項: (2026)

Financial Forecasting, Analysis and Modelling: A Framework for Long-Term Forecasting
著者:: Michael, Samonas
出版事項: (2024)

Thí nghiệm phân tích thực phẩm
著者:: Trần, Bích Lam
出版事項: (2006)

Computer Performance Engineering
著者:: Bakhshi, Rena, 等
出版事項: (2020)

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

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

Mathematical Analysis and Applications in Modeling
著者:: Roy, Priti Kumar, 等
出版事項: (2020)

Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems and Cyber Physical Systems
著者:: Edward, Griffor
出版事項: (2023)

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

Non-linear modeling and analysis of solids and structures
著者:: Krenk, S
出版事項: (2013)

Data Analysis Using Regression and Multilevel/Hierarchical Models
著者:: Gelman, Andrew, 等
出版事項: (2013)

An Introduction to Modern Analysis
著者:: Montesinos, Vicente, 等
出版事項: (2015)

Introduction to regression modeling
著者:: Bovas Abraham
出版事項: (2006)

Modeling complex systems
著者:: Boccara, Nino
出版事項: (2004)

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

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

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

Modeling and Stochastic Learning for Forecasting in High Dimensions
著者:: Antoniadis, Anestis, 等
出版事項: (2015)

Linear programming and economic analysis
著者:: Dorfman, Robert
出版事項: (1958)

Equivalence theorem for generalized dependencies in relational databases
著者:: Nguyen, Xuan Huy, 等
出版事項: (2014)

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_vnavkh4jq6ihcsk9l7dg9qmmal
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235