Safety, dependability and performance analysis of extended AADL models /

Lignende værker

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