Explorations in Cyber-Physical Systems Education

被引：0
作者：
Seshia, Sanjit A. [1 ]
机构：
[1] Univ Calif Berkeley, Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
COMMUNICATIONS OF THE ACM | 2022年 / 65卷 / 05期
关键词：
CHALLENGES;
D O I：
10.1145/3490442
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：60 / 69
页数：10
相关论文
共 37 条
[1]  
Alur R, 2015, PRINCIPLES OF CYBER-PHYSICAL SYSTEMS, P1
[2]  
[Anonymous], GAZEBO ROBOT SIMULAT
[3]  
[Anonymous], 2012, NAE Grand Challenges for Engineering
[4]  
[Anonymous], INTR TI RSLK MAX
[5]  
[Anonymous], ILAB PROJ
[6]  
[Anonymous], 2017, INF TECHN US WORKF A
[7]  
Bryant R.E., 2015, COMPUTER SYSTEMS PRO, Vthird
[8]   Formal methods: State of the art and future directions [J].
Clarke, EM ;
Wing, JM .
ACM COMPUTING SURVEYS, 1996, 28 (04) :626-643
[9]  
Fremont D. J., 2019, THESIS U CALIFORNIA
[10]   SCENIC: A Language for Scenario Specification and Scene Generation [J].
Fremont, Daniel J. ;
Dreossi, Tommaso ;
Ghosh, Shromona ;
Yue, Xiangyu ;
Sangiovanni-Vincentelli, Alberto L. ;
Seshia, Sanjit A. .
PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, :63-78
1234