rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Formal methods for industrial critical systems
    sub title: a survey of applications
  name:
    name part: Gnesi, Stefania
    name part: 1954-
    role:
      role term: editor.
    role:
      role term: edt
  name:
    name part: Margaria-Steffen, Tiziana
    name part: 1964-
    role:
      role term: editor.
    role:
      role term: edt
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: dcu
    date issued: 2013
    copyright date: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xxi, 270 pages) : illustrations (some color)
  abstract: "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"--
  abstract: "Balances leading edge material, established practice, and reviews of historically important contributions"--
  table of contents: Foreword / Mike Hinchey -- Foreword / Allesandro Fantechi and Pedro Merino -- Part I. Introduction and State of the Art. Formal Methods: Applying {Logics in, Theoretical} Computer Science / Diego Latella -- Part II. Modeling Paradigms. A Synchronous Language at Work: The Story of Lustre / Nicolas Halbwachs -- Requirements of an Integrated Formal Method for Intelligent Swarms / Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski, and Amy K.C.S. Vanderbilt -- Part III. Transportation Systems. Some Trends in Formal Methods Applications to Railway Signaling / Allesandro Fantechi, Wan Fokkink, and Angelo Mozenti -- Symbolic Model Checking for Avionics / Radu I. Siminiceanu and Gianfranco Ciardo -- Part IV. Telecommunications -- Applying Formal Methods to Telecommunication Services with Active Networks / María del Mar Gallardo, Jesús Martínez, and Pedro Merino -- Practical Applications of Probabilistic Model Checking to Communication Protocols / Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny, and Jeremy Sproston -- Part V. Internet and Online Services. Design for Verifiability: The OCS Case Study / Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen -- An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration in thinkteam® / Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, and Gianluca Trentanni -- Part VI. Runtime: Testing and Model Learning. The Testing and Test Control Notation TTCN-3 and its Use / Ina Schieferdecker and Alain-Georges Vouffo-Feudjio -- Practical Aspects of Active Automata Learning / Falk Howar, Maik Merten, Bernhard Steffen, and Tiziana Margaria.
  note: edited by Stefania Gnesi, Tiziana Margaria.
  note: Includes bibliographical references and index.
  subject:
    topic: Formal methods (Computer science)
  classification: QA76.9.F67 F654 2013
  classification: 004.01/51
  classification: COM059000
  related item:
    title info:
      title: Formal methods for industrial critical systems
    origin info:
      publisher: [Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]
    identifier: (DLC) 2012016775
  identifier: 9781118459898
  identifier: 111845989X
  identifier: 9781118459867
  identifier: 1118459865
  identifier: 9781283858885
  identifier: 1283858886
  identifier: 9780470876183
  identifier: 0470876182
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: NhCcYBP
    record creation date: 121210
    record change date: 20260214213544.4
    record identifier: in00004680447
    language of cataloging:
      language term: eng