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)
Online Access:	Connect to the full text of this electronic book