000 06879cam a2200949Ii 4500
001 ocn820719492
003 OCoLC
005 20171224115045.0
006 m o d
007 cr cnu---unuuu
008 121210t20132013dcua ob 001 0 eng d
010 _z 2012016775
040 _aN$T
_beng
_erda
_epn
_cN$T
_dUIU
_dDG1
_dCOO
_dYDXCP
_dIEEEE
_dDG1
_dCUS
_dZMC
_dIDEBK
_dOCLCF
_dFTU
_dHEBIS
_dUAT
_dOCLCO
_dE7B
_dC6I
_dDEBSZ
_dOCLCQ
_dOCLCO
_dOCLCQ
_dOCLCO
_dUIU
_dAZK
019 _a828095857
_a961504622
020 _a9781118459898
_q(electronic bk.)
020 _a111845989X
_q(electronic bk.)
020 _a9781118459867
_q(electronic bk.)
020 _a1118459865
_q(electronic bk.)
020 _a9781283858885
_q(electronic bk.)
020 _a1283858886
_q(electronic bk.)
020 _z9780470876183
_q(print)
020 _z0470876182
_q(print)
024 3 _a9781118459898
029 1 _aAU@
_b000050378599
029 1 _aCHNEW
_b000621248
029 1 _aDEBBG
_bBV041907889
029 1 _aDEBSZ
_b379793032
029 1 _aDEBSZ
_b423149288
029 1 _aNLGGC
_b355443716
029 1 _aNZ1
_b15542317
029 1 _aNZ1
_b15915300
035 _a(OCoLC)820719492
_z(OCoLC)828095857
_z(OCoLC)961504622
050 4 _aQA76.9.F67
_bF654 2013
072 7 _aCOM
_x013000
_2bisacsh
072 7 _aCOM
_x014000
_2bisacsh
072 7 _aCOM
_x018000
_2bisacsh
072 7 _aCOM
_x067000
_2bisacsh
072 7 _aCOM
_x032000
_2bisacsh
072 7 _aCOM
_x037000
_2bisacsh
072 7 _aCOM
_x052000
_2bisacsh
082 0 4 _a004.01/51
_223
084 _aCOM059000
_2bisacsh
049 _aMAIN
245 0 0 _aFormal methods for industrial critical systems :
_ba survey of applications /
_cedited by Stefania Gnesi, Tiziana Margaria.
264 1 _a[Washington, DC] :
_bIEEE Computer Society ;
_aHoboken, New Jersey :
_bWiley,
_c[2013]
264 4 _c©2013
300 _a1 online resource (xxi, 270 pages) :
_billustrations (some color)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
504 _aIncludes bibliographical references and index.
505 0 0 _tForeword /
_rMike Hinchey --
_tForeword /
_rAllesandro Fantechi and Pedro Merino --
_gPart I.
_tIntroduction and State of the Art.
_tFormal Methods: Applying {Logics in, Theoretical} Computer Science /
_rDiego Latella --
_gPart II.
_tModeling Paradigms.
_tA Synchronous Language at Work: The Story of Lustre /
_rNicolas Halbwachs --
_tRequirements of an Integrated Formal Method for Intelligent Swarms /
_rMike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt --
_gPart III.
_tTransportation Systems.
_tSome Trends in Formal Methods Applications to Railway Signaling /
_rAllesandro Fantechi, Wan Fokkink, and Angelo Mozenti --
_tSymbolic Model Checking for Avionics /
_rRadu I. Siminiceanu and Gianfranco Ciardo --
_gPart IV.
_tTelecommunications --
_tApplying Formal Methods to Telecommunication Services with Active Networks /
_rMaría del Mar Gallardo, Jesús Martínez, and Pedro Merino --
_tPractical Applications of Probabilistic Model Checking to Communication Protocols /
_rMarie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston --
_gPart V.
_tInternet and Online Services. Design for Verifiability: The OCS Case Study /
_rJohannes Neubauer, Tiziana Margaria, and Bernhard Steffen --
_tAn Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® /
_rMaurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni --
_gPart VI.
_tRuntime: Testing and Model Learning.
_tThe Testing and Test Control Notation TTCN-3 and its Use /
_rIna Schieferdecker and Alain-Georges Vouffo-Feudjio --
_tPractical Aspects of Active Automata Learning /
_rFalk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria.
520 _a"Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems"--
_cProvided by publisher.
520 _a"Balances leading edge material, established practice, and reviews of historically important contributions"--
_cProvided by publisher.
588 0 _aPrint version record and online resource; title from PDF title page (IEEE Xplore, viewed March 25, 2014).
650 0 _aFormal methods (Computer science)
650 4 _aEbooks
_xUML.
650 7 _aCOMPUTERS
_xComputer Engineering.
_2bisacsh
650 7 _aCOMPUTERS
_xComputer Literacy.
_2bisacsh
650 7 _aCOMPUTERS
_xComputer Science.
_2bisacsh
650 7 _aCOMPUTERS
_xData Processing.
_2bisacsh
650 7 _aCOMPUTERS
_xHardware
_xGeneral.
_2bisacsh
650 7 _aCOMPUTERS
_xInformation Technology.
_2bisacsh
650 7 _aCOMPUTERS
_xMachine Theory.
_2bisacsh
650 7 _aCOMPUTERS
_xReference.
_2bisacsh
650 7 _aFormal methods (Computer science)
_2fast
_0(OCoLC)fst00932926
650 7 _aSicherheitskritisches System
_2gnd
_0(DE-588)4767762-4
650 7 _aFormale Methode
_2gnd
_0(DE-588)4333722-3
655 4 _aElectronic books.
700 1 _aGnesi, Stefania,
_d1954-
_eeditor.
_4edt
700 1 _aMargaria-Steffen, Tiziana,
_d1964-
_eeditor.
_4edt
776 0 8 _iPrint version:
_tFormal methods for industrial critical systems.
_d[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]
_z9780470876183
_w(DLC) 2012016775
_w(OCoLC)795059113
856 4 0 _uhttp://onlinelibrary.wiley.com/book/10.1002/9781118459898
_zWiley Online Library
938 _aebrary
_bEBRY
_nebr10631333
938 _aEBSCOhost
_bEBSC
_n504231
938 _aIngram Digital eBook Collection
_bIDEB
_ncis24366582
938 _aYBP Library Services
_bYANK
_n9935179
938 _aYBP Library Services
_bYANK
_n9249304
938 _aYBP Library Services
_bYANK
_n9984804
938 _aYBP Library Services
_bYANK
_n12676024
994 _a92
_bDG1
999 _c14366
_d14366