Mini-course around Event-B and Rodin: hypervisor
993
82.8
Microsoft Research334 тыс
Следующее
17.08.16 – 2121:08:27Популярные
22.09.23 – 9491:11:02
12.12.22 – 2 52036:34Опубликовано 17 августа 2016, 2:38
Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture gives a status report of the hypervisor we are developing using Event-B.
Свежие видео
4 дня – 548 9102:18:21
5 дней – 216 3330:17
5 дней – 1 0288:50
7 дней – 21 4141:39
8 дней – 868 6841:00Случайные видео
120 дней – 132 8850:58
145 дней – 21 39347:03
13.12.22 – 5 45914:35
12.03.22 – 11 5866:51
01.04.21 – 247 1031:16
15.02.20 – 36 0949:19
1 день – 1304:06
1 день – 1 0840:26
1 день – 8681:02
2 дня – 6980:33
2 дня – 9 6210:56
4 дня – 2983:53
11 дней – 37833:31