A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors
No Thumbnail Available
Files
Date
2016
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
605-622 p. ; 507 ko.
Keywords
Génie logiciel, Product Automata, Structure du jeu, Résilience logicielle, Tolérance aux pannes, Vérification formelle