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

Synthesis of Embedded Software

Overview of attention for book
Cover of 'Synthesis of Embedded Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compilation of Polychronous Data Flow Equations
  3. Altmetric Badge
    Chapter 2 Formal Modeling of Embedded Systems with Explicit Schedules and Routes
  4. Altmetric Badge
    Chapter 3 Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
  5. Altmetric Badge
    Chapter 4 Compiling SHIM
  6. Altmetric Badge
    Chapter 5 A Module Language for Typing SIGNAL Programs by Contracts
  7. Altmetric Badge
    Chapter 6 MRICDF: A Polychronous Model for Embedded Software Synthesis
  8. Altmetric Badge
    Chapter 7 The Time Model of Logical Clocks Available in the OMG MARTE Profile
  9. Altmetric Badge
    Chapter 8 From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations
Attention for Chapter 2: Formal Modeling of Embedded Systems with Explicit Schedules and Routes
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.