Formale Sicherheitsanalysede Frank OrtmeierEdiciones (1)Formale Sicherheitsanalyse (2006)Logos Verlag Berlin · alemán · ISBN 9783832512774Más obras de Frank OrtmeierComputer Safety, Reliability, and SecurityComputer Safety, Reliability, and SecurityModel-Based Safety and Assessment
CComputer Safety, Reliability, and Security : SAFECOMP 2014 WComputer Safety, Reliability, and Security : SAFECOMP 2014 Workshops