Model-driven test generation of distributed systems /

Bibliographic Details

Main Authors:	Easwaran, Arvind (Author), Hall, Brendan (Author), Schweiker, Kevin (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
Series:	NASA contractor report ; NASA CR-217764.
Subjects:	Clocks. Fault tolerance. Synchronism.
Online Access:	https://purl.fdlp.gov/GPO/gpo33326