EPspectra: a formal toolkit for developing DSP software applications

DOI10.1017/S1471068405002565MaRDI QIDQ5492051zbMATH OpenFDO

Authors Hahnsang Kim, Thierry Turletti, Amar Bouali

Publication date 12 October 2006

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068405002565

zbMATH Keywords

ESTERELformal verificationreal-time application

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• Modeling multi-rate DSP specification semantics for formal transformational design in HOL
• An object-oriented toolbox for spectral element analysis

Cited in

(1)

• scientific article; zbMATH DE number 2086568 (Why is no real title available?)

This page was built for publication: EPspectra: a formal toolkit for developing DSP software applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492051)