Translating discrete-time simulink to lustre

doi:10.1145/1113830.1113834

Translating discrete-time simulink to lustre

Full Text:

Pdf

Buy this Article

Authors:	Stavros Tripakis	VERIMAG, Gières, France
	Christos Sofronis	VERIMAG, Gières, France
	Paul Caspi	VERIMAG, Gières, France
	Adrian Curic	VERIMAG, Gières, France

	2005 Article
Bibliometrics
· Downloads (6 Weeks): 6 · Downloads (12 Months): 49 · Downloads (cumulative): 748 · Citation Count: 19

Published in:

	· Journal
	ACM Transactions on Embedded Computing Systems (TECS) TECS Homepage archive
	Volume 4 Issue 4, November 2005 Pages 779 - 818 ACM New York, NY, USA table of contents doi>10.1145/1113830.1113834

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: code generation design design tools and techniques embedded software languages lustre model validation and analysis reliability simulink verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder