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

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

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

Full description

Bibliographic Details
Other Authors: Gnesi, Stefania, 1954- (Editor), Margaria-Steffen, Tiziana, 1964- (Editor)
Format: eBook
Language:English
Published: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]
Subjects:
Formal methods (Computer science)
Ebooks > UML.
COMPUTERS > Computer Engineering.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Sicherheitskritisches System
Formale Methode
Electronic books.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

Similar Items