01006nam0-2200313---450-99001010920040332120161010152252.0978-3-639-19409-8001010920FED01001010920(Aleph)001010920FED0100101092020161010d2009----km-y0itay50------baengDE--------001yyModel-based dependability evaluation of critical control systemsa practical survey of advanced techniques for model-based system testing and reliability evaluationFrancesco FlamminiSaarbrucken, GermanyVDM Verlag Dr. Muller2009140 p.22 cmProgrammi per elaboratoriAffidabilità005Flammini,FrancescoITUNINARICAUNIMARCBK99001010920040332113 H 64 290975 / 2016FINBC13 63 210976 / 2016FINBCFINBCUNINA