0 CHECKOUT

PRODUCT FILTERS

CATEGORIES

  • 1
  • 1

PRICE

1
1
1
1

PUBLISHED

0
0
0
1

PRODUCT TYPE

Search for: "Formal Methods for Industrial Critical Systems: A Survey of Applications"

Formal Methods for Industrial Critical Systems. A Survey of Applications

Making the formal methods commonly used to test complex, safety–critical control systems easier to learn and integrate into the industries where they can do the most good Formal methods are an essential...

Published:  March 2013
Price: 
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