Synthesis of Embedded Software

Overview of attention for book

Cover of 'Synthesis of Embedded Software'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Compilation of Polychronous Data Flow Equations
Altmetric Badge

Chapter 2 Formal Modeling of Embedded Systems with Explicit Schedules and Routes
Altmetric Badge

Chapter 3 Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
Altmetric Badge

Chapter 4 Compiling SHIM
Altmetric Badge

Chapter 5 A Module Language for Typing SIGNAL Programs by Contracts
Altmetric Badge

Chapter 6 MRICDF: A Polychronous Model for Embedded Software Synthesis
Altmetric Badge

Chapter 7 The Time Model of Logical Clocks Available in the OMG MARTE Profile
Altmetric Badge

Chapter 8 From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations

Attention for Chapter 6: MRICDF: A Polychronous Model for Embedded Software Synthesis

Altmetric Badge

Citations

dimensions_citation: 6 Dimensions

Readers on

mendeley: 2 Mendeley

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	MRICDF: A Polychronous Model for Embedded Software Synthesis
Chapter number	6
Book title	Synthesis of Embedded Software
Published by	Springer, Boston, MA, January 2010
DOI	10.1007/978-1-4419-6400-7_6
Book ISBNs	978-1-4419-6399-4, 978-1-4419-6400-7
Authors	Bijoy A. Jose, Sandeep K. Shukla

View on publisher site Alert me about new mentions

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country	Count	As %
Unknown	2	100%

Demographic breakdown

Readers by professional status	Count	As %
Professor	2	100%

Readers by discipline	Count	As %
Computer Science	2	100%