Title: Modeling, verification, and exploration of task-level concurrency in real-time embedded systems
First published: 2000
Subjects: Embedded computer systems, Real-time data processing, Systems analysis & design, Computers, Computers - General Information, Computer Books: General, Science/Mathematics, Hardware - Personal Computers - General, Programming - Systems Analysis & Design, Computers / CAD-CAM / General, CAD-CAM - General, Microprocessors
LC classification: TK7895.E42 T48 2000, TK7895.E42 T48 2000