@article{(Open Science Index):https://publications.waset.org/pdf/456,
	  title     = {Investigate the Relation between the Correctness and the Number of Versions of Fault Tolerant Software System },
	  author    = {Pham Ba Quang and  Nguyen Tien Dat and  Huynh Quyet Thang},
	  country	= {},
	  institution	= {},
	  abstract     = {In this paper, we generalize several techniques in
developing Fault Tolerant Software. We introduce property
“Correctness" in evaluating N-version Systems and compare it to
some commonly used properties such as reliability or availability.
We also find out the relation between this property and the number of
versions of system. Our experiments to verify the correctness and the
applicability of the relation are also presented.},
	    journal   = {International Journal of Computer and Systems Engineering},
	  volume    = {1},
	  number    = {3},
	  year      = {2007},
	  pages     = {732 - 737},
	  ee        = {https://publications.waset.org/pdf/456},
	  url   	= {https://publications.waset.org/vol/3},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 3, 2007},
	}