Safety, dependability and performance analysis of extended AADL models /

Benzer Materyaller

• Safety analysis and methods in a railway signalling system /
  Yazar:: Chang, Kwang-Chi.
• Mean value analysis for a class of PEPA models /
  Yazar:: Thomas, Nigel.
• "3+3 process" for safety critical software for I&C system in nuclear power plants /
  Yazar:: Jung, Jae-Cheon.
• High Performance Liquid Chromatography in Phytochemical Analysis
  Yazar:: Waksmundzka-Hajnos, Monika, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• Development of a simplified model for analyzing the performance of KALIMER-600 coupled with a supercritical carbon dioxide brayton energy conversion cycle /
  Yazar:: Seong, Seung-Hwan.