Safety, dependability and performance analysis of extended AADL models /
保存先:
| その他の著者: | Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco. |
|---|---|
| フォーマット: | 論文 |
| 言語: | English |
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
| 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.