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

Libro 133 di 209: SpringerBriefs in Electrical and Computer Engineering

Seiter, Julia; Wille, Robert; Drechsler, Rolf

 
9783319414812: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Brossura
ISBN 10: 331941481X ISBN 13: 9783319414812
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
331941481X
ISBN 13 
9783319414812
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319414798 ISBN 13:  9783319414799
Casa editrice: Springer, 2016
Brossura