A case study in the mechanical verification of fault tolerance

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.12, Iss.4, 2000-10, pp. : 473-487

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Factorizing fault tolerance

By Prasetya I.S.W.B. Swierstra S.D.

Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. : 1201-1222

Elsevier

Access to resources Recommend Favorite

Towards dependable development tools for embedded systems: a case study in software verification

By Petermann Uwe

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 489-498

Taylor & Francis Ltd

Access to resources Recommend Favorite

Volume thresholds for quantum fault tolerance

By Aggarwal Vaneet Calderbank A. Gilbert Gerald Weinstein Yaakov

Quantum Information Processing, Vol. 9, Iss. 5, 2010-10 ,pp. : 541-549

Springer Publishing Company

Access to resources Recommend Favorite

Low Latency Fault Tolerance System

By Zhao Wenbing Melliar-Smith P. M. Moser L. E.

Computer Journal, Vol. 56, Iss. 6, 2013-06 ,pp. : 716-740

Oxford University Press

Access to resources Recommend Favorite

Efficient Fault Tolerance on Cloud Environments

International Journal of Cloud Applications and Computing (IJCAC), Vol. 8, Iss. 3, 2018-07 ,pp. : 20-31

IGI Global_journal

Access to resources Recommend Favorite