Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DT
2000

favoriteEmaildiscussreport

54views more DT 2000»

Formal Models for Embedded System Design

13 years 4 months ago

Formal Models for Embedded System Design

Download embedded.eecs.berkeley.edu

Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovan

Real-time Traffic

DT 2000 |

claim paper

Related Content

» From ModelBased Design to Formal Verification of Adaptive Embedded Systems

» OpenComRTOS An UltraSmall Network Centric Embedded RTOS Designed Using Formal Modeling

» Design and Specification of Embedded Systems in Java Using Successive Formal Refinement

» Formal Semantics of a VDM Extension for Distributed Embedded Systems

» Formal Coverification of Embedded Systems Using Model Checking

» SaveIDE A tool for design analysis and implementation of componentbased embedded systems

» A formal approach to robustness maximization of complex heterogeneous embedded systems

» Using separation of concerns for embedded systems design

» Discrete Event System Specification DEVS and StateMate StateCharts Equivalence for Embedde...

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	DT
Authors	Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

Comments (0)