scientific article; zbMATH DE number 1390911

MaRDI QIDQ4935948zbMATH OpenFDO

Authors

Publication date 18 January 2000

zbMATH Keywords

embedded software

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)

Recommendations

• scientific article; zbMATH DE number 6810922
• scientific article; zbMATH DE number 1897216
• scientific article; zbMATH DE number 1001709
• Digital hardware/software-systems. Specification and verification.
• Real-time embedded systems: optimization, synthesis, and networking.

Cited in

(7)

• Models and formal verification of multiprocessor system-on-chips
• Towards operating system synthesis
• SPRINT: a tool to generate concurrent transaction-level models from sequential code
• Formal verification and quantitative metrics of MPSoC data dynamics
• Techniques for building timing-predictable embedded systems
• scientific article; zbMATH DE number 1897216 (Why is no real title available?)
• Digital hardware/software-systems. Specification and verification.

Describes a project that uses

Uses Software

• Ptolemy

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