Safety, dependability and performance analysis of extended AADL models /

Documenti analoghi

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