scientific article; zbMATH DE number 1408162

MaRDI QIDQ4941014zbMATH OpenFDO

Authors Luciano Lavagno, Ellen Sentovich, Alberto L. Sangiovanni-Vincentelli

Publication date 21 February 2002

zbMATH Keywords

CFSM model of computationreactive embedded systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

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

(12)

• Modeling stream-based applications using the SBF model of computation
• Refinement preserving approximations for the design and verification of heterogeneous systems
• Embedded systems design based on formal models of computation
• Rialto 2.0: A language for heterogeneous computations
• Approximating Behaviors in Embedded System Design
• scientific article; zbMATH DE number 4030982 (Why is no real title available?)
• scientific article; zbMATH DE number 2017366 (Why is no real title available?)
• scientific article; zbMATH DE number 1487628 (Why is no real title available?)
• scientific article; zbMATH DE number 1759600 (Why is no real title available?)
• scientific article; zbMATH DE number 1762695 (Why is no real title available?)
• ESM systems and the composition of their computations
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• Ptolemy

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)