• 已选条件：
 全选  【符合条件的数据共：25条】

1 Computer Science C149 - 2014-09-11: Interrupts (EAL) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：5 下载：0  ]    

2 Computer Science C149 - 2014-11-20: TBD (EAL) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：3 下载：0  ]    

3 Computer Science C149 - 2014-10-09: Comparing State Machines (ASV) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：4 下载：0  ]    

4 Computer Science C149 - 2014-09-02: Sensors and Actuators (EAL) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：0  ]    

5 Computer Science C149 - 2014-10-14: Reachability Analysis (ASV) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：1 下载：0  ]    

6 Computer Science C149 - 2014-10-28: Midterm Review (EAL) [开放课件]

授课人:Edward A. Lee, Alberto Sangiovanni-Vincentelli

课程:Computer Science C149,2014

关键词:

发布机构:

预览  |  原文链接  |  全文  [ 浏览：4 下载：0  ]