Welcome to IOU Digital Library

A technical guide on designing embedded systems using formal computational models. The book covers theoretical foundations, modeling techniques, and design methodologies for developing reliable and efficient embedded systems, with applications in hardware/software co-design, real-time systems, and system verification.

no reviews

245: $a: Embedded Systems Design Based on Formal Models of Computation
245: $b:
082: $a:
100: $a: Ivan Radojevic & Zoran Salcic
650: $a: Information Technology
250: $a:
440: $v:
250: $b: Springer
250: $c: 2011
020: $a: 9780387230516
300: $a: 400