scientific article; zbMATH DE number 1390911

zbMATH Open0941.68031MaRDI QIDQ4935948FDOQ4935948

Authors:

Publication date: 18 January 2000

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

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.

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)

Cited In (7)

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

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)