000			03090cam a2200697Ma 4500
001			ocn828198474
003			OCoLC
005			20230823095619.0
006			m o d
007			cr |n|||||||||
008			120424s2012 enk ob 001 0 eng d
010			_z 2012011854
040			_aCDX _beng _epn _cCDX _dOCLCO _dCUS _dUIU _dE7B _dOCLCQ _dOCLCF _dYDXCP _dOCLCQ _dCOO _dOCLCQ _dAZK _dDG1
019			_a961604074
020			_a1848213638
020			_a9781848213630
020			_a9781118561829
020			_a1118561821
020			_a9781299187078 _q(MyiLibrary)
020			_a1299187072 _q(MyiLibrary)
020			_a9781118587904 _q(e-book)
020			_a1118587901 _q(e-book)
029	1		_aAU@ _b000052185390
029	1		_aCHBIS _b010131693
029	1		_aCHVBK _b314714790
029	1		_aGBVCP _b79003851X
029	1		_aNZ1 _b15341133
029	1		_aNZ1 _b15905488
029	1		_aDEBBG _bBV041829168
035			_a(OCoLC)828198474 _z(OCoLC)961604074
037			_a449957 _bMIL
050		4	_aTA168 _b.I45 2012eb
082	0	4	_a005.101 _223
084			_aTEC009060 _2bisacsh
049			_aMAIN
245	0	0	_aIndustrial used of formal method : _bformal verification / _cedited by Jean-Louis Boulanger.
260			_aLondon : _bISTE ; _aHoboken, NJ : _bWiley, _c©2012.
300			_a1 online resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
504			_aIncludes bibliographical references and index.
588	0		_aPrint version record.
520			_a"At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example)"-- _cProvided by publisher.
650		0	_aSystems engineering _xData processing.
650		0	_aComputer simulation.
650		0	_aFormal methods (Computer science)
650		0	_aComputer software _xVerification.
650		0	_aNondestructive testing.
650		7	_aComputer simulation. _2fast _0(OCoLC)fst00872518
650		7	_aComputer software _xVerification. _2fast _0(OCoLC)fst00872604
650		7	_aFormal methods (Computer science) _2fast _0(OCoLC)fst00932926
650		7	_aNondestructive testing. _2fast _0(OCoLC)fst01430903
650		7	_aSystems engineering _xData processing. _2fast _0(OCoLC)fst01141459
655		4	_aElectronic books.
700	1		_aBoulanger, Jean-Louis.
776	0	8	_iPrint version: _z9781299187078 _w(DLC) 2012011854
856	4	0	_uhttp://dx.doi.org/10.1002/9781118561829 _zWiley Online Library
994			_a92 _bDG1
999			_c20170 _d20129
526			_bswe