Science & Innovation

TIMA's research topics cover specification, design, verification, testing, CAD tools, and design methods for embedded systems, ranging from analog and digital components at one end of the spectrum to multiprocessor systems-on-a-chip with their underlying operating systems at the other end.