Modeling, verification, and exploration of task-level concurrency in real-time embedded systems

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.