Формальные методы (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Формальные методы" in Russian language version.

refsWebsite

Global rank Russian rank

2web.archive.org

1^st place

1^st place

75^th place

123^rd place

1webcitation.org

24^th place

2^nd place

low place

966^th place

nasa.gov

shemesh.larc.nasa.gov

R. W. Butler. What is Formal Methods? (неопр.) (6 августа 2001). Дата обращения: 16 ноября 2006. Архивировано 25 августа 2012 года.

ntrs.nasa.gov

C. Michael Holloway. Why Engineers Should Consider Formal Methods (неопр.). — 16th Digital Avionics Systems Conference (27–30 October 1997). Архивировано 23 июля 2018 года.

osp.ru

Верификация программ с помощью моделей Архивная копия от 21 февраля 2010 на Wayback Machine, «Открытые системы» , № 12, 2003.

web.archive.org

C. Michael Holloway. Why Engineers Should Consider Formal Methods (неопр.). — 16th Digital Avionics Systems Conference (27–30 October 1997). Архивировано 23 июля 2018 года.
Верификация программ с помощью моделей Архивная копия от 21 февраля 2010 на Wayback Machine, «Открытые системы» , № 12, 2003.

webcitation.org

R. W. Butler. What is Formal Methods? (неопр.) (6 августа 2001). Дата обращения: 16 ноября 2006. Архивировано 25 августа 2012 года.