↓ Skip to main content
What is this page? Embed badge

Automatic Methods for the Refinement of System Models

Overview of attention for book
Cover of 'Automatic Methods for the Refinement of System Models'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Preliminaries
  4. Altmetric Badge
    Chapter 3 Challenges in Model Refinement
  5. Altmetric Badge
    Chapter 4 Verification of Vertical Refinement
  6. Altmetric Badge
    Chapter 5 Extraction of a Relation for Vertical Refinement
  7. Altmetric Badge
    Chapter 6 Verification of Horizontal Refinement
  8. Altmetric Badge
    Chapter 7 Summary and Conclusions
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
Summary X

This page is provided by Altmetric.