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

• Άλλοι συγγραφείς: Gnesi, Stefania, 1954- (Επιμελητής έκδοσης), Margaria-Steffen, Tiziana, 1964- (Επιμελητής έκδοσης)
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: [Washington, DC] : Hoboken, New Jersey : IEEE Computer Society ; Wiley, [2013]
• Θέματα: 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...