Embedded Systems Spring Semester 2018

[视频作者] opednyqu

[视频时长] 777:26

[视频类型] 野生技术协会

https://www.tec.ee.ethz.ch/education/lectures/embedded-systems.html The focus of this lecture is on the design of embedded systems using formal models and methods as well as computer-based synthesis methods.