Industrial use of formal methods: formal verification
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848213630
Date de publication :
15 juin 2012
Dimensions :
24,1 x 16,3 x 2,3 cm
Poids :
612 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the formal technics (such proof and model-checking) on industrial examples for the transportation domain.