Ebook Introduction to embedded systems: A cyber-physical systems approach (Second edition) - Part 2

Continued part 1, part 2 of ebook "Introduction to embedded systems: A cyber-physical systems approach" provides readers with contents including: design of embedded systems; analysis and verification; sensors and actuators; embedded processors; memory architectures; invariants and temporal logic; equivalence and refinement; reachability analysis and model checking;...

Từ khóa: Introduction to embedded systems, Cyber-physical systems approach, Design of embedded systems, Embedded processors, Memory architectures, Rate monotonic scheduling, Linear temporal logic