scientific article; zbMATH DE number 1408162

zbMath0979.68539MaRDI QIDQ4941014

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

Publication date: 21 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

CFSM model of computationreactive embedded systems

Mathematics Subject Classification ID

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

Uses Software

• Ptolemy

This page was built for publication: