Панельная секция 10 лет Центра верификации ОС Linux. Верификация реального ПО – мечта или реальность? (SECR-2015) — история изменений

Материал из 0x1.tv

Показать журналы для этой страницы

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Сравнить.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — незначительные изменения.

(текущ. | пред.) 14:49, 31 августа 2021‎ StasFomin (обсуждение | вклад)‎ . . (4659 байтов) (0)‎
(текущ. | пред.) 00:13, 25 августа 2021‎ StasFomin (обсуждение | вклад)‎ . . (4659 байтов) (+1)‎
(текущ. | пред.) 20:01, 23 июля 2020‎ StasFomin (обсуждение | вклад)‎ . . (4658 байтов) (+3)‎ . . (Batch edit: replace http://2015.secr.ru with http://2015.secrus.org)
(текущ. | пред.) 20:46, 18 июля 2020‎ StasFomin (обсуждение | вклад)‎ . . (4655 байтов) (0)‎
(текущ. | пред.) 20:14, 7 июля 2020‎ StasFomin (обсуждение | вклад)‎ . . (4655 байтов) (0)‎
(текущ. | пред.) 17:27, 6 июля 2020‎ StasFomin (обсуждение | вклад)‎ . . (4655 байтов) (0)‎
(текущ. | пред.) 09:25, 28 января 2020‎ StasFomin (обсуждение | вклад)‎ . . (4655 байтов) (0)‎
(текущ. | пред.) 15:36, 23 января 2020‎ StasFomin (обсуждение | вклад)‎ . . (4655 байтов) (+69)‎
(текущ. | пред.) 14:49, 22 января 2020‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 12:12, 9 января 2020‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 12:07, 4 января 2020‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 11:34, 30 декабря 2019‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 16:44, 5 сентября 2019‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 15:55, 19 августа 2019‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 21:16, 7 мая 2019‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (-1)‎
(текущ. | пред.) 16:19, 26 февраля 2019‎ StasFomin (обсуждение | вклад)‎ . . (4587 байтов) (0)‎
(текущ. | пред.) 15:57, 21 февраля 2019‎ StasFomin (обсуждение | вклад)‎ . . (4587 байтов) (+1)‎
(текущ. | пред.) 18:10, 19 октября 2018‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (0)‎
(текущ. | пред.) 17:00, 19 октября 2018‎ StasFomin (обсуждение | вклад)‎ . . (4586 байтов) (+15)‎ . . (Batch edit: replace PCRE \{\{youtubelink\|([^\}]*)\}\} with {{youtubelink|\1}}{{letscomment}})
(текущ. | пред.) 20:56, 10 октября 2018‎ StasFomin (обсуждение | вклад)‎ . . (4571 байт) (0)‎
(текущ. | пред.) 10:15, 4 июля 2018‎ StasFomin (обсуждение | вклад)‎ . . (4571 байт) (0)‎
(текущ. | пред.) 06:11, 9 июня 2018‎ StasFomin (обсуждение | вклад)‎ . . (4571 байт) (+56)‎
(текущ. | пред.) 08:15, 4 июня 2018‎ StasFomin (обсуждение | вклад)‎ . . (4515 байтов) (+70)‎
(текущ. | пред.) 11:11, 15 мая 2018‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 13:45, 1 марта 2018‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 14:10, 14 февраля 2018‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 13:22, 13 февраля 2018‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 18:37, 10 января 2018‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 18:59, 25 декабря 2017‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 14:38, 21 декабря 2017‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 14:02, 12 декабря 2017‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 08:36, 2 декабря 2017‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (0)‎
(текущ. | пред.) 17:51, 24 ноября 2017‎ StasFomin (обсуждение | вклад)‎ . . (4445 байтов) (+18)‎
(текущ. | пред.) 21:40, 10 ноября 2017‎ StasFomin (обсуждение | вклад)‎ . . (4427 байтов) (+36)‎
(текущ. | пред.) 12:31, 6 июля 2017‎ StasFomin (обсуждение | вклад)‎ . . (4391 байт) (0)‎
(текущ. | пред.) 23:09, 12 июня 2017‎ StasFomin (обсуждение | вклад)‎ . . (4391 байт) (0)‎
(текущ. | пред.) 18:12, 11 июня 2017‎ StasFomin (обсуждение | вклад)‎ . . (4391 байт) (+80)‎
(текущ. | пред.) 21:19, 11 июня 2016‎ StasFomin (обсуждение | вклад)‎ . . (4311 байтов) (+32)‎
(текущ. | пред.) 10:40, 13 мая 2016‎ StasFomin (обсуждение | вклад)‎ . . (4279 байтов) (+11)‎
(текущ. | пред.) 08:47, 11 мая 2016‎ StasFomin (обсуждение | вклад)‎ . . (4268 байтов) (-9)‎ . . (Batch edit: replace  with {{youtubelink|}})
(текущ. | пред.) 22:21, 7 марта 2016‎ StasFomin (обсуждение | вклад)‎ . . (4277 байтов) (+8)‎ . . (Batch edit: replace .secr.ru/program/ with .secr.ru/lang/ru/program/)
(текущ. | пред.) 00:30, 23 ноября 2015‎ StasFomin (обсуждение | вклад)‎ . . (4269 байтов) (+2)‎ . . (→‎Аннотация)
(текущ. | пред.) 00:28, 23 ноября 2015‎ StasFomin (обсуждение | вклад)‎ . . (4267 байтов) (+422)‎
(текущ. | пред.) 00:25, 23 ноября 2015‎ StasFomin (обсуждение | вклад)‎ . . (3845 байтов) (+3845)‎ . . (Новая страница: «== Аннотация == ;Докладчик: {{Speaker|}} <blockquote> В сентябре 2005 года в рамках государственного кон…»)

Источник — «https://0x1.tv/Панельная_секция_10_лет_Центра_верификации_ОС_Linux._Верификация_реального_ПО_–_мечта_или_реальность?_(SECR-2015)»