scientific article; zbMATH DE number 2080750

MaRDI QIDQ4473705zbMATH OpenFDO

Authors Gérard Berry

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110050.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1361139
• Synchronous structures
• scientific article; zbMATH DE number 526071
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 4082959

Cited in

(10)

• Computer Aided Verification
• scientific article; zbMATH DE number 2017356 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Multi-rate system design through integrating synchronous components
• Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
• Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms
• scientific article; zbMATH DE number 2080753 (Why is no real title available?)
• Formal methods in designing embedded systems -- the SACRES experience
• Multi-task implementation of multi-periodic synchronous programs
• SCADE: synchronous design and validation of embedded control software

Describes a project that uses

Uses Software

• SCADE

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 Q4473705)