Formal methods for industrial critical systems: a survey of applications (Curatela)

Type
Label
  • Formal methods for industrial critical systems: a survey of applications (Curatela) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1002/9781118459898 (literal)
Alternative label
  • Gnesi S., Margaria T. (2013)
    Formal methods for industrial critical systems: a survey of applications
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Hoboken, NJ, USA Pubblicato da Wiley-IEEE Anno pubblicazione 2013 Num. pagine vii - viii ISBN 9780470876183 (print) 9781118459898 (online) codice puma: cnr.isti/2013-ED-009 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://onlinelibrary.wiley.com/book/10.1002/9781118459898 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatori
  • Gnesi S., Margaria T. (literal)
Note
  • PuMa (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa,Italy; University of Potsdam, Potsdam, Germany (literal)
Titolo
  • Formal methods for industrial critical systems: a survey of applications (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#tipoDiCuratela
  • Libro (literal)
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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it