• 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

Symantec Corporation Sonoco Products Company Tiffany & Co. ITT Corporation Exxon Mobil Corp. Samsonite International S.A. Kellogg's Co.