1 Artikel | Alle Löschen

 

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

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for...

Jetzt  CHF 64.90

Keine Preisänderung

mehr Informationen

Löschen