Compiling CFSMchart specifications to ESTEREL

MaRDI QIDQ4494109zbMATH OpenFDO

Authors D. A. Crasta, Partha Roop, Arcot Sowmya

Publication date 30 January 2001

zbMATH Keywords

embedded systemsESTEREL language

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Real time programming. Languages, specification and verification.
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 526071
• scientific article; zbMATH DE number 1408162
• scientific article; zbMATH DE number 4082959

This page was built for publication: Compiling CFSMchart specifications to ESTEREL

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