02765oam 2200685I 450 991046356310332120200520144314.01-315-21816-X1-4398-1369-810.1201/9781315218168 (CKB)2670000000593695(EBL)1719366(SSID)ssj0001444156(PQKBManifestationID)12613708(PQKBTitleCode)TC0001444156(PQKBWorkID)11437762(PQKB)10900378(MiAaPQ)EBC4744242(MiAaPQ)EBC1719366(Au-PeEL)EBL1719366(CaPaEBR)ebr11167718(OCoLC)908079945(EXLCZ)99267000000059369520180706h20172013 uy 0engur|n|---|||||txtccrDeveloping safety-critical software a practical guide for aviation software and do-178c compliance /by Leanna RiersonFirst edition.Boca Raton, FL :CRC Press,[2017].©20131 online resource (596 p.)Description based upon print version of record.1-4398-1368-X 1-322-61191-2 Includes bibliographical references.Front Cover; Back CoverThe amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains.AeronauticsData processingAeronauticsSafety measuresAeronauticsSafety regulationsUnited StatesComputer softwareReliabilityComputer softwareDevelopmentElectronic books.AeronauticsData processing.AeronauticsSafety measures.AeronauticsSafety regulationsComputer softwareReliability.Computer softwareDevelopment.629.1300285/5Rierson Leanna851280CRC Press.FlBoTFGFlBoTFGBOOK9910463563103321Developing safety-critical software1900659UNINA01774oam 2200541 450 991071193410332120190313084730.0(CKB)5470000002488753(OCoLC)1041735573(OCoLC)995470000002488753(EXLCZ)99547000000248875320180622d1990 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierCoal resources available for development a methodology and pilot study /by Jane R. Eggleston, M. Devereux Carter, and James C. Cobb[Reston, Virginia] :Department of the Interior, U.S. Geological Survey,1990.Washington, D.C. :Government Printing Office,1990.1 online resource (iii, 15 pages) illustrationsU.S. Geological Survey circular ;1055Title from title screen (viewed June 22, 2018)Includes bibliographical references (page 15).Coal resources available for development Coal reservesUnited StatesCoal reservesKentuckyProspectingCoalfastProspectingfastCoal reservesCoal reservesProspecting.Coal.Prospecting.Eggleston Jane R.961863Carter M. DevereuxCobb James C.Geological Survey (U.S.),COPCOPOCLCOOCLCFGPOBOOK9910711934103321Coal resources available for development3540854UNINA