Formal Methods for Industrial Critical Systems, A Survey of Applications, Wiley, Stefania Gnesi, Tiziana Margaria,Computer science,Computing and Information Technology, formal; complex; commonly; methods; industries; safetycritical control; easier; good; systems; notations; precise; semantics; mathematical; manner; system; allow description; behavior; work; collaborative; informatics,, , United States, en-UShttps://www.wiley.comformal; complex; commonly; methods; industries; safetycritical control; easier; good; systems; notations; precise; semantics; mathematical; manner; system; allow description; behavior; work; collaborative; informatics, [BLURB],[CITY],,books, ebooks, biblet, Book2look