"A Spatial-Temporal Model for Software Fault Tolerance in Safety-Critical ..."

Tao Zhang, Jinbo Wang (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics