• 1-800-526-8630U.S. (TOLL FREE)
  • 1-917-300-0470EAST COAST U.S.
  • +353-1-416-8900REST OF WORLD

PRODUCT FILTERS

CATEGORIES

  • 1

PRICE

1
1
1
1

PUBLISHED

0
0
1
1

PRODUCT TYPE

1

Search "Safety of Software-based Systems. ISTE" returned 1 results.

PRODUCT TITLE

Formal Methods Applied to Industrial Complex Systems. ISTE

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry,...

July 2014
Loading Indicator

Our Clients

Credit Suisse Group Heinz Company Telenor Group Deutsche Bank AG Solvay S.A. APC by Schneider Electric Lindt & Sprüngli AG