國立虎尾科技大學 |

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, New Jersey :John Wiley & Sons Inc., : [2012],
Description:	1 online resource.
Notes:	Includes index.
Subject:	Formal methods (Computer science) -
Online resource:	http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
ISBN:	9781118459898 (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, New Jersey :John Wiley & Sons Inc.,[2012] - 1 online resource.

Includes index.

"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: 9781118459898 (electronic bk.)Subjects--Topical Terms:

564790
Formal methods (Computer science)
Index Terms--Genre/Form:

554714
Electronic books.

LC Class. No.: QA76.9.F67 / F654 2012eb

Dewey Class. No.: 004.01/51

Formal methods for industrial critical systems = a survey of applications /
LDR:02845cam 2200493Ka 4500 001 735136
003 OCoLC
005 20130306081508.0
006 m o d
007 cr cnu---unuuu
008 130624s2012 nju o 001 0 eng d
020 $a 9781118459898 (electronic bk.)
020 $a 9781118459867 (electronic bk.)
020 $a 1118459865 (electronic bk.)
020 $a 111845989X (electronic bk.)
020 $z 9780470876183
020 $z 0470876182
020 $z 9781283858885
020 $z 1283858886
029 1 $a AU@ $b 000050378599
035 $a (OCoLC)820719492
035 $a ocn820719492
040 $a N$T $c N$T $d UIU $d DG1 $d COO $d YDXCP $d IEEEE $d DG1 $d CUS
049 $a HISA
050 4 $a QA76.9.F67 $b F654 2012eb
072 7 $a COM $x 013000 $2 bisacsh
072 7 $a COM $x 014000 $2 bisacsh
072 7 $a COM $x 018000 $2 bisacsh
072 7 $a COM $x 067000 $2 bisacsh
072 7 $a COM $x 032000 $2 bisacsh
072 7 $a COM $x 037000 $2 bisacsh
072 7 $a COM $x 052000 $2 bisacsh
082 0 4 $a 004.01/51 $2 23
084 $a COM059000 $2 bisacsh
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, New Jersey : $b John Wiley & Sons Inc., $c [2012]
300 $a 1 online resource.
500 $a Includes index.
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 print version record.
650 0 $a Formal methods (Computer science) $3 564790
650 7 $a COMPUTERS / Computer Engineering. $2 bisacsh $3 881195
650 7 $a COMPUTERS / Computer Literacy $2 bisacsh $3 834352
650 7 $a COMPUTERS / Computer Science $2 bisacsh $3 834353
650 7 $a COMPUTERS / Data Processing $2 bisacsh $3 834354
650 7 $a COMPUTERS / Hardware / General $2 bisacsh $3 834355
650 7 $a COMPUTERS / Information Technology $2 bisacsh $3 834356
650 7 $a COMPUTERS / Machine Theory $2 bisacsh $3 834357
650 7 $a COMPUTERS / Reference $2 bisacsh $3 834358
655 4 $a Electronic books. $2 local $3 554714
700 1 $a Gnesi, Stefania, $d 1954- $3 881193
700 1 $a Margaria-Steffen, Tiziana, $d 1964- $3 881194
856 4 0 $3 IEEE Xplore $u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
938 $a EBSCOhost $b EBSC $n 504231
938 $a YBP Library Services $b YANK $n 9935179
994 $a 92 $b TWHIS