Eingebettete Systeme
German
This lecture deals with the design and the implementation of embedded systems with the use of formal methods and computer aided design methologies.
For more information please visit our german website https://www.cs12.tf.fau.de/lehre/lehrveranstaltungen/vorlesungen/eingebettete-systeme