Safety, dependability and performance analysis of extended AADL models /
Uloženo v:
| Další autoři: | Bozzano, Marco., Cimatti, Alessandro., Katoen, Joost-Pieter., Nguyen, Viet Yen., Noll, Thomas., Roveri, Marco. |
|---|---|
| Médium: | Článek |
| Jazyk: | English |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Podobné jednotky
-
Safety analysis and methods in a railway signalling system /
Autor: Chang, Kwang-Chi. -
Mean value analysis for a class of PEPA models /
Autor: Thomas, Nigel. -
"3+3 process" for safety critical software for I&C system in nuclear power plants /
Autor: Jung, Jae-Cheon. -
High Performance Liquid Chromatography in Phytochemical Analysis
Autor: Waksmundzka-Hajnos, Monika, a další
Vydáno: (2015) -
Development of a simplified model for analyzing the performance of KALIMER-600 coupled with a supercritical carbon dioxide brayton energy conversion cycle /
Autor: Seong, Seung-Hwan.