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 (2)

French (0)

German (0)

Spanish (0)

Italian (0)

 

Protection

All (2)

DRM Free (0)

DRM (2)

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...


Formal Methods for Industrial Critical Systems

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...