Formal Methods, Industrial Use from Model to the Code, Wiley, John Wiley & Sons,Production and industrial engineering,Mechanical engineering and materials, jeanlouis; methods; boulanger; formal; languages; classic; jeanlouis boulanger; application; first; railway; complex; saetmeteor; sector; verification; process; ratp; approach; global; design; software; modelbased; control,, , United States, en-UShttps://www.wiley.comjeanlouis; methods; boulanger; formal; languages; classic; jeanlouis boulanger; application; first; railway; complex; saetmeteor; sector; verification; process; ratp; approach; global; design; software; modelbased; control, [BLURB],[CITY],,books, ebooks, biblet, Book2look