1 résultat(s)
Télécharger le livre : Automatic Methods for the Refinement of System Models
Rolf Drechsler , Julia Seiter , Robert Wille
Automatic Methods for the Refinement of System Models
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement,...
Editeur : Springer
Parution : 2016-07-04
Collection : SpringerBriefs in Electrical and Computer Engineering
Format(s) : ePub
52,74 €
Téléchargement immédiat
Dès validation de votre commande