↓ Skip to main content

Formal Methods and Models for System Design

Overview of attention for book
Attention for Chapter 2: Actor-Oriented Models for Codesign
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
1 Mendeley
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
Actor-Oriented Models for Codesign
Chapter number 2
Book title
Formal Methods and Models for System Design
Published by
Springer, Boston, MA, January 2004
DOI 10.1007/978-1-4020-8052-4_2
Book ISBNs
978-1-4419-5464-0, 978-1-4020-8052-4
Authors

Edward A. Lee, Stephen Neuendorffer