scientific article; zbMATH DE number 2080750

zbMATH Open1050.68519MaRDI QIDQ4473705FDOQ4473705

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (7)

• Computer Aided Verification
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)