Specification and design methodology for real-time embedded systems

zbMATH Open0990.68577MaRDI QIDQ2768900

Randall S. Janka

Publication date: 3 February 2002

zbMATH Keywords

real-time embedded signal processing systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Simulink
• MPI

Recommendations

• Specification and timing analysis of real-time systems 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Specification and design methodology for real-time embedded systems