DeepDyve – unlimited articles from the top peer-reviewed journals – Just $9.99/month.

Stay on top of your field and complete your research – Get started with a Free Trial. Signup only takes 60 seconds!

Refinement preserving approximations for the design and verification of heterogeneous systems

Formal Methods in System Design , Volume 31 (1) – Aug 1, 2007

Details

Publisher
Kluwer Academic Publishers-Plenum Publishers
Copyright
Copyright © 2007 by Springer Science+Business Media, LLC
Subject
Engineering; Software Engineering/Programming and Operating Systems ; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering; Circuits and Systems
ISSN
0925-9856
eISSN
1572-8102
D.O.I.
10.1007/s10703-006-0024-z
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 33 pages. Rent for Free

 
/lp/springer-journal/refinement-preserving-approximations-for-the-design-and-verification-yeA3b9zPIL

Loading...