Ivan Radojevic

• Embedded Systems Design Based on Formal Models of Computation