Tools

LEADER 01933nam a2200469Ii 4500

001 ocn825823139;

003 OCoLC;

005 20141212052923.0;

006 m o d f ;

007 cr cn|||||||||;

008 130129s2012 vaua obt f000 0 eng d;

035 a| (Sirsi) o825823139;

040 a| GPOe| rdac| GPOd| UtOrBLW;

049 a| ERE#;

074 a| 0830-H-14 (online);

086 0 a| NAS 1.26:2012-217764;

100 1 a| Easwaran, Arvind,e| author.?| UNAUTHORIZED;

245 10 a| Model-driven test generation of distributed systems /c| Arvind Easwaran, Brendan Hall, and Kevin Schweiker.;

264 1 a| Hampton, Va. :b| National Aeronautics and Space Administration, Langley Research Center,c| [2012];

300 a| 1 online resource (30 pages) :b| color illustrations.;

336 a| textb| txt2| rdacontent;

337 a| computerb| c2| rdamedia;

338 a| online resourceb| cr2| rdacarrier;

490 1 a| [NASA contractor report] ;v| NASA/CR 2012-217764;

500 a| Title from title screen (viewed Jan. 29, 2013).;

500 a| "September 2012.";

504 a| Includes bibliographical references (pages 29).;

536 a| Prepared for Langley Research Center under contractb| NNL10AB32Th| 534723.02.02.07.30;

650 7 a| Clocks.2| nasat;

650 7 a| Fault tolerance.2| nasat;

650 7 a| Synchronism.2| nasat;

700 1 a| Hall, Brendan,e| author.=| ^A1140505;

700 1 a| Schweiker, Kevin,e| author.?| UNAUTHORIZED;

710 2 a| Langley Research Center,e| issuing body.=| ^A192893;

710 1 a| United States.b| National Aeronautics and Space Administratione| sponsoring body.=| ^A5437;

830 0 a| NASA contractor report ;v| NASA CR-217764.=| ^A441636;

856 40 u| https://purl.fdlp.gov/GPO/gpo33326;

949 a| Click on web addressw| ASISh| JOYNER94;

998 a| 3281791;

998 a| u3281791;

596 a| 1;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3281791-1001l| JNETm| JOYNERr| Ys| Yt| JNE1DOu| 3/11/2013x| EDOCUMENTz| JERESOURCE;

Model-driven test generation of distributed systems / Arvind Easwaran, Brendan Hall, and Kevin Schweiker.

Author/creator	Easwaran, Arvind author.
Format	Electronic
Publication	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012]
Description	1 online resource (30 pages) : color illustrations.
Supplemental Content	https://purl.fdlp.gov/GPO/gpo33326

Other author/creator	Hall, Brendan, author.
Other author/creator	Schweiker, Kevin, author.
Other author/creator	Langley Research Center, issuing body.
Other author/creator	United States. National Aeronautics and Space Administration sponsoring body.
Series	[NASA contractor report] ; NASA/CR 2012-217764 NASA contractor report ; NASA CR-217764. ^A441636
General note	Title from title screen (viewed Jan. 29, 2013).
General note	"September 2012."
Bibliography note	Includes bibliographical references (pages 29).
Funding information	Prepared for Langley Research Center under contract NNL10AB32T 534723.02.02.07.30
GPO item number	0830-H-14 (online)
Govt. docs number	NAS 1.26:2012-217764

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Click here for more information about this title