scientific article; zbMATH DE number 1390911

zbMATH Open0941.68031MaRDI QIDQ4935948FDOQ4935948

Author name not available (Why is that?)

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 (2)

• Towards operating system synthesis
• 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)