03087cam a2200673Ma 4500 ocn828198474 OCoLC 20171107094253.0 m o d cr |n||||||||| 120424s2012 enk ob 001 0 eng d 2012011854 1848213638 9781848213630 9781118561829 1118561821 9781299187078 (MyiLibrary) 1299187072 (MyiLibrary) 9781118587904 (e-book) 1118587901 (e-book) AU@ 000052185390 CHBIS 010131693 CHVBK 314714790 GBVCP 79003851X NZ1 15341133 NZ1 15905488 DEBBG BV041829168 (OCoLC)828198474 (OCoLC)961604074 449957 MIL CDX eng pn CDX OCLCO CUS UIU E7B OCLCQ OCLCF YDXCP OCLCQ COO OCLCQ AZK DG1 MAIN TA168 .I45 2012eb 005.101 23 TEC009060 bisacsh Industrial used of formal method : formal verification / edited by Jean-Louis Boulanger. [electronic resource] London : ISTE ; Hoboken, NJ : Wiley, ©2012. 1 online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and index. "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)"-- Provided by publisher. Print version record. Systems engineering Data processing. Computer simulation. Formal methods (Computer science) Computer software Verification. Nondestructive testing. Computer simulation. fast (OCoLC)fst00872518 Computer software Verification. fast (OCoLC)fst00872604 Formal methods (Computer science) fast (OCoLC)fst00932926 Nondestructive testing. fast (OCoLC)fst01430903 Systems engineering Data processing. fast (OCoLC)fst01141459 Electronic books. Boulanger, Jean-Louis. Print version: 9781299187078 (DLC) 2012011854 http://onlinelibrary.wiley.com/book/10.1002/9781118561829 Wiley Online Library ddc BK 206466 206466