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

Model-Driven Engineering and Software Development

Overview of attention for book
Cover of 'Model-Driven Engineering and Software Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Digital Twin Description Framework and Its Mapping to Asset Administration Shell
  3. Altmetric Badge
    Chapter 2 Acknowledging Implementation Trade-Offs When Developing with Units of Measurement
  4. Altmetric Badge
    Chapter 3 HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments
  5. Altmetric Badge
    Chapter 4 Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering
  6. Altmetric Badge
    Chapter 5 PSCS4CPP: A Generative PSCS Implementation for C++
  7. Altmetric Badge
    Chapter 6 Dependency Graphs to Boost the Verification of SysML Models
  8. Altmetric Badge
    Chapter 7 Decomposable and Executable Models for Verification of Real-Time Systems
  9. Altmetric Badge
    Chapter 8 Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment
  10. Altmetric Badge
    Chapter 9 A Methodological Framework for SPL Engineering from DSML
  11. Altmetric Badge
    Chapter 10 W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
  12. Altmetric Badge
    Chapter 11 Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies
Attention for Chapter 7: Decomposable and Executable Models for Verification of Real-Time Systems
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Decomposable and Executable Models for Verification of Real-Time Systems
Chapter number 7
Book title
Model-Driven Engineering and Software Development
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-38821-7_7
Book ISBNs
978-3-03-138820-0, 978-3-03-138821-7
Authors

McColl, Callum, Estivill-Castro, Vladimir, McColl, Morgan, Hexel, René

View on publisher site

This page is provided by Altmetric.