國立虎尾科技大學 |

Formal methods for industrial critical systems = a survey of applications /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal methods for industrial critical systems/ edited by Stefania Gnesi, Tiziana Margaria.
Reminder of title:	a survey of applications /
other author:	Gnesi, Stefania,
Published:	Hoboken, N.J. :John Wiley & Sons Inc. : : c2013.,
Description:	1 online resource.
Subject:	Formal methods (Computer science) -
Online resource:	http://onlinelibrary.wiley.com/book/10.1002/9781118459898
ISBN:	1118459865 (electronic bk.)

Formal methods for industrial critical systems = a survey of applications /
Formal methods for industrial critical systemsa survey of applications /[electronic resource] :edited by Stefania Gnesi, Tiziana Margaria. - Hoboken, N.J. :John Wiley & Sons Inc. :c2013. - 1 online resource.

"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"--

ISBN: 1118459865 (electronic bk.)Subjects--Topical Terms:

564790
Formal methods (Computer science)

LC Class. No.: QA76.9.F67 / F654 2013

Dewey Class. No.: 004.01/51

Formal methods for industrial critical systems = a survey of applications /
LDR:02567cam a2200361Ma 4500 001 832200
003 OCoLC
005 20130709123152.0
006 m o d
007 cr |||||||||||
008 160215s2013 nju o 001 0 eng d
020 $a 1118459865 (electronic bk.)
020 $a 111845989X (electronic bk.)
020 $a 9781118459867 (electronic bk.)
020 $a 9781118459898 (electronic bk.)
020 $a 9781118561898 (electronic bk.)
020 $a 1118561899 (electronic bk.)
020 $z 0470876182
020 $z 1283858886 (MyiLibrary)
020 $z 9780470876183
020 $z 9781283858885 (MyiLibrary)
035 $a (OCoLC)828095857
035 $a ocn828095857
040 $a UAT $c UAT $d OCLCO $d DG1 $d E7B $d C6I
050 4 $a QA76.9.F67 $b F654 2013
082 0 4 $a 004.01/51 $2 23
245 0 0 $a Formal methods for industrial critical systems $h [electronic resource] : $b a survey of applications / $c edited by Stefania Gnesi, Tiziana Margaria.
260 $a Hoboken, N.J. : $a [Washington, D.C.] : $b John Wiley & Sons Inc. : $c c2013. $b IEEE Computer Society,
300 $a 1 online resource.
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"-- $c Provided by publisher.
520 $a "Balances leading edge material, established practice, and reviews of historically important contributions"-- $c Provided by publisher.
588 $a Description based on online resource; title from digital title page (viewed on Jan. 10, 2013).
650 0 $a Formal methods (Computer science) $3 564790
700 1 $a Gnesi, Stefania, $d 1954- $3 881193
700 1 $a Margaria-Steffen, Tiziana, $d 1964- $3 881194
740 0 $a Formal methods for industrial critical systems (Online)
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118459898