Passerone, Roberto; Burch, Jerry R.; Sangiovanni-Vincentelli, Alberto L. Refinement preserving approximations for the design and verification of heterogeneous systems. (English) Zbl 1118.68498 Form. Methods Syst. Des. 31, No. 1, 1-33 (2007). MSC: 68Q10 PDF BibTeX XML Cite \textit{R. Passerone} et al., Form. Methods Syst. Des. 31, No. 1, 1--33 (2007; Zbl 1118.68498) Full Text: DOI
Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. Using multiple levels of abstractions in embedded software design. (English) Zbl 1050.68521 Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 324-343 (2001). MSC: 68N99 PDF BibTeX XML Cite \textit{J. R. Burch} et al., Lect. Notes Comput. Sci. 2211, 324--343 (2001; Zbl 1050.68521) Full Text: Link