Explorations in Cyber-Physical Systems Education

被引：0

作者：

Seshia, Sanjit A. ^{[1
]}

机构：

[1] Univ Calif Berkeley, Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

关键词：

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], 2016, INTRO EMBEDDED SYSTE

[5]

[Anonymous], INTR TI RSLK MAX

[6]

[Anonymous], ILAB PROJ

[7]

[Anonymous], 2017, INF TECHN US WORKF A

[8]

Bryant Randal E., 2015, Computer Systems: A Programmers Perspective, V3rd

[9] Formal methods: State of the art and future directions [J].

Clarke, EM ;

Wing, JM .

[10]

Fremont D. J., 2019, THESIS U CALIFORNIA