Embedded Systems Spring Semester 2018

科技演讲·公开课
--播放 · --弹幕
-- --
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.

视频选集

1/12
相关视频推荐
计量经济学 清华 李子奈33:01:11
ucos操作系统4:38:38
ucos操作系统
3007播放 · 2弹幕
19考研 王道 操作系统19:34:13
CSE230 Programming Languages 201723:20:22
LeetCode 花花酱  树专题8:59:04
23个设计模式11:58:55
23个设计模式
3.5万播放 · 560弹幕
Ceylon Types12:05
Ceylon Types
31播放 · 0弹幕
QT5.5入门与项目实战44:54:00
QT5.5入门与项目实战
2.2万播放 · 127弹幕
Model Checking31:41:13
Model Checking
88播放 · 0弹幕
LLVM Tutorials1:38:49
LLVM Tutorials
252播放 · 0弹幕
CSE130 Programming Languages 201723:20:17
Algorithms Part 111:46:03
Algorithms Part 1
468播放 · 0弹幕
Algorithms Part 216:42:24
Algorithms Part 2
226播放 · 0弹幕
Virtual Machines 201526:48:00
Virtual Machines 2015
196播放 · 1弹幕