Modele niezawodnościowo-funkcjonalne systemów cyfrowych ze szczególnym uwzględnieniem systemów jednoprocesorowych | lit.salon