Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - Tapa blanda

Seiter, Julia; Wille, Robert; Drechsler, Rolf

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

Esta edición ISBN ya no está disponible.

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9783319414799: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Edición Destacada

ISBN 10:  3319414798 ISBN 13:  9783319414799
Editorial: Springer, 2016
Tapa blanda