Mini-course around Event-B and Rodin: hypervisor
991
82.6
Microsoft Research330 тыс
Следующее
17.08.16 – 2091:08:27Популярные
07.12.22 – 42736:07
27.10.22 – 52758:13Опубликовано 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.
Свежие видео
5 дней – 2 79812:09
7 дней – 2 1640:26
13 дней – 2 9500:27
14 дней – 11 7860:55
18 дней – 22 6152:22Случайные видео
170 дней – 2 4074:00
197 дней – 29 32212:41
318 дней – 92 0619:52
05.03.23 – 4 319 35620:23
24.11.22 – 45 81812:19
01.11.18 – 46 3603:34
3 дня – 1 0140:31
5 дней – 4172:49
6 дней – 1 2574:52
9 дней – 1 774 03820:03
10 дней – 930:29
12 дней – 63 17820:25
13 дней – 00:00