New course on formal synthesis of embedded systems!

From summer semester 2015, HCS offers a new course on formal synthesis of embedded systems. Look at this link for more information.