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

• 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.

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