Stefania Gnesi

Best Selling

icon Subscribe to feed

Browse

Best Selling

New Releases

 

Contributor

Delete Stefania Gnesi

 

Non-Fiction

Computers (1)

 

Price

All

Free

Below $ 5

$ 5 - $ 10

$ 10 - $ 15

Delete Price range

From :
To :
OK

 

Language

English (1)

French (0)

German (0)

Spanish (0)

Italian (0)

 

Protection

All (1)

DRM Free (0)

DRM (1)

More options

Formal Methods for Industrial Critical Systems: A Survey of Applications

by Stefania Gnesi & Tiziana Margaria

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations...