Autor:	Rushby, John, Littlewood, Bev, Strigini, Lorenzo
Rok vydání:	2014
Předmět:	Computer Science - Software Engineering
Druh dokumentu:	Working Paper
Popis:	We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation. Comment: EDCC-2014, AESSCS 2014
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1404.6844 Zobrazit plný text záznamu View this record from Arxiv