Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Semantics-Preserving Design of Embedded Control Software from Synchronous Models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Mangeruca Leonardo ; A. Sangiovanni-Vincentelli is with the University of California, Berkeley, CA 94720. Email: alberto@eecs.berkeley.edu . ; Baleani Massimo ; Ferrari Alberto ; Sangiovanni-Vincentelli Alberto

Author(s)

Mangeruca Leonardo
A. Sangiovanni-Vincentelli is with the University of California, Berkeley, CA 94720. Email: alberto@eecs.berkeley.edu .
Baleani Massimo ; Ferrari Alberto ; Sangiovanni-Vincentelli Alberto