WE HAVE

MOVED

The previous Embedded Systems (ES) Unit has been reorganized and split in two different units:

• Formal Methods for System and Software Design (FM)

• Planning, Scheduling and Optimization (PSO)

---