Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - Couverture souple

Seiter, Julia; Wille, Robert; Drechsler, Rolf

 
9783319414812: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.-  Summary and Conclusions.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783319414799: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Edition présentée

ISBN 10 :  3319414798 ISBN 13 :  9783319414799
Editeur : Springer, 2016
Couverture souple