Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA JPL Pasadena, CA 91109, USA - Neutral buoyancy - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-11 18:33:49 Computing Software quality Engineering Reliability engineering Software engineering Design for X Materials science Survival analysis Fault tolerance Redundancy Software design Modular programming		Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 109,12 KB Share Document on Facebook

	Assistant Professor, Tenure Track Position at the Department of Chemistry, Graduate School of Science, and Research Center for Materials Science, Nagoya University Department of Chemistry, Graduate School of Science, and DocID: 1vsan - View Document
	Chapter 4 Domestic Collaborations １．Research under Collaboration Programs （１） International Research Center for Nuclear Materials Science No Institution DocID: 1vqG5 - View Document
	Integrated Research Center for Sustainable Energy and Materials Institute of Industrial Science, DocID: 1vnTX - View Document
	Pacific Coast Catalysis Society Annual Meeting, 2016 University of California, Riverside 8:30 AM-5:10 PM Materials Science & Engineering Room 103 8:30 DocID: 1vmoS - View Document
	AOCS Privacy Policy Last updated May 23, 2018 AOCS is a professional membership association for people who work to advance the science and technology of oils, fats, proteins, surfactants and related materials. AOCS is co DocID: 1vm3z - View Document