↓ Skip to main content

Designing Embedded Systems with the SIGNAL Programming Language

Overview of attention for book
Attention for Chapter 8: Formal Model for Program Analysis
Altmetric Badge

Citations

dimensions_citation
33 Dimensions
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
Formal Model for Program Analysis
Chapter number 8
Book title
Designing Embedded Systems with the SIGNAL Programming Language
Published by
Springer, New York, NY, January 2010
DOI 10.1007/978-1-4419-0941-1_8
Book ISBNs
978-1-4419-0940-4, 978-1-4419-0941-1
Authors

Abdoulaye Gamatié