大葉大學圖書館 |

Formal methods for industrial critical systems[electronic resource] :a survey of applications /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	004.01/51
書名/作者:	Formal methods for industrial critical systems : a survey of applications // edited by Stefania Gnesi, Tiziana Margaria.
其他作者:	Gnesi, Stefania,
出版者:	Hoboken, N.J. : : John Wiley & Sons Inc. :, c2013.
面頁冊數:	1 online resource.
標題:	Formal methods (Computer science)
ISBN:	1118459865 (electronic bk.)
ISBN:	111845989X (electronic bk.)
ISBN:	9781118459867 (electronic bk.)
ISBN:	9781118459898 (electronic bk.)
ISBN:	9781118561898 (electronic bk.)
ISBN:	1118561899 (electronic bk.)
摘要、提要註:	"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"--
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781118459898

Formal methods for industrial critical systems[electronic resource] :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:

412292
Formal methods (Computer science)

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

Dewey Class. No.: 004.01/51

Formal methods for industrial critical systems[electronic resource] :a survey of applications /
LDR:02567cam a2200361Ma 4500 001 436997
003 OCoLC
005 20130709123152.0
006 m o d
007 cr |||||||||||
008 160125s2013 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. : $b John Wiley & Sons Inc. : $a [Washington, D.C.] : $b IEEE Computer Society, $c c2013.
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 412292
700 1 $a Gnesi, Stefania, $d 1954- $3 622880
700 1 $a Margaria-Steffen, Tiziana, $d 1964- $3 622881
740 0 $a Formal methods for industrial critical systems (Online)
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781118459898