filmov
tv
More Deterministic Software for Cyber-Physical Systems (ASYDE Keynote)
Показать описание
Keynote talk at the second Workshop on Automated and
verifiable Software sYstem Development (ASYDE), held in conjunction with Software Engineering and Formal Methods (SEFM), Sept. 15, 2020, Amsterdam.
verifiable Software sYstem Development (ASYDE), held in conjunction with Software Engineering and Formal Methods (SEFM), Sept. 15, 2020, Amsterdam.
0:55:39
0:43:25
0:09:17
1:03:26
2:00:34
1:13:16
0:06:33
0:05:42
0:53:15
0:59:30
0:04:40
1:10:26
1:32:24
0:50:58
1:06:12
0:02:35
0:53:52
0:47:52
0:00:34
1:13:55
3:41:35
0:50:38
0:00:11
1:02:24