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

SDL 2013: Model-Driven Dependability Engineering

Overview of attention for book
Cover of 'SDL 2013: Model-Driven Dependability Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Data Flow Testing in TTCN-3 with a Relational Database Schema
  3. Altmetric Badge
    Chapter 2 Property Verification with MSC
  4. Altmetric Badge
    Chapter 3 Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements
  5. Altmetric Badge
    Chapter 4 Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps
  6. Altmetric Badge
    Chapter 5 Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns
  7. Altmetric Badge
    Chapter 6 Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models
  8. Altmetric Badge
    Chapter 7 Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback
  9. Altmetric Badge
    Chapter 8 Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis
  10. Altmetric Badge
    Chapter 9 An IMS DSL Developed at Ericsson
  11. Altmetric Badge
    Chapter 10 Efficient Development of Domain-Specific Simulation Modelling Languages and Tools
  12. Altmetric Badge
    Chapter 11 FTG+PM: An Integrated Framework for Investigating Model Transformation Chains
  13. Altmetric Badge
    Chapter 12 Traceability Links in Model Transformations between Software and Performance Models
  14. Altmetric Badge
    Chapter 13 Refactorings in Language Development with Asymmetric Bidirectional Model Transformations
  15. Altmetric Badge
    Chapter 14 SDL Real-Time Tasks – Concept, Implementation, and Evaluation
  16. Altmetric Badge
    Chapter 15 Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams
  17. Altmetric Badge
    Chapter 16 Integration of SDL Models into a SystemC Project for Network Simulation
Attention for Chapter 16: Integration of SDL Models into a SystemC Project for Network Simulation
Altmetric Badge

Citations

dimensions_citation
4 Dimensions
Summary Dimensions citations
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
Integration of SDL Models into a SystemC Project for Network Simulation
Chapter number 16
Book title
SDL 2013: Model-Driven Dependability Engineering
Published by
Springer, Berlin, Heidelberg, June 2013
DOI 10.1007/978-3-642-38911-5_16
Book ISBNs
978-3-64-238910-8, 978-3-64-238911-5
Authors

Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev, Morozkin, Pavel, Lavrovskaya, Irina, Olenev, Valentin, Nedovodeev, Konstantin

View on publisher site

This page is provided by Altmetric.