scientific article; zbMATH DE number 1408162
From MaRDI portal
zbMATH Open0979.68539MaRDI QIDQ4941014FDOQ4941014
Authors: Luciano Lavagno, Ellen Sentovich, Alberto L. Sangiovanni-Vincentelli 
Publication date: 21 February 2002
Title of this publication is not available (Why is that?)
Recommendations
- Embedded systems design based on formal models of computation
- Embedded Systems Handbook, Second Edition
- scientific article; zbMATH DE number 1759600
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Refinement preserving approximations for the design and verification of heterogeneous systems
Cited In (11)
- Modeling stream-based applications using the SBF model of computation
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rialto 2.0: A language for heterogeneous computations
- Refinement preserving approximations for the design and verification of heterogeneous systems
- Approximating Behaviors in Embedded System Design
- Title not available (Why is that?)
- Embedded systems design based on formal models of computation
- Title not available (Why is that?)
- ESM systems and the composition of their computations
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941014)
