1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Дистанционное и виртуальное обучение»
  5. Выпуск 2011 г. № 12
Метод проверки намодели(model-checking) дляопределениякорректности сложныхсистем Алексеева М. М.Дашкова Е. А.2011 год

Метод проверки на модели (model-checking) для определения корректности сложных систем
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ (А 47)
Библиографическое описание: Алексеева, М. М. Метод проверки на модели (model-checking) для определения корректности сложных систем / М. М. Алексеева, Е. А. Дашкова. - (Методика и опыт). - Текст : непосредственный // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ). - ISSN 1561-2449.
Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем.
Год издания: 2011
Авторы: Алексеева М. М. , Дашкова Е. А.
Источник: Дистанционное и виртуальное обучение
Выпуск: № 12
Номера страниц: 50-56
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Похожие документы

MODEL CHECKING.Верификацияпараллельных ираспределенныхпрограммных систем Карпов Юрий Глебович2010 год

MODEL CHECKING. Верификация параллельных и распределенных программных систем

  • Карпов Юрий Глебович
  • 2010 год
Математическая модельоптимизацииинформационныхпотоков и определениеоптимальных логистиквTIAV-мультимедийных… Бекназарова СаидаСафибуллаевна2015 год

Математическая модель оптимизации информационных потоков и определение оптимальных логистик в…

  • Бекназарова Саида Сафибуллаевна
  • 2015 год
Метод обоснованияспособов примененияинформационно-обучающих систем Мистров Л. Е.Белоцерковский О. А.Саврасова Л. Н.2018 год

Метод обоснования способов применения информационно-обучающих систем

  • Мистров Л. Е. и др.
  • 2018 год

Методы автоматизации проектирования неоднородных вычислительных систем и информационных моделей…

  • Борде Бернгард Исаакович
  • 2020 год

Системная инженерия

  • Виденин Сергей Александрович
  • 2013 год

Методы и средства проектирования информационных систем и технологий

  • Брежнев Руслан Владимирович
  • 2021 год

High-Level Design Flows for VLSI CircuiT

  • Nepomnyashchy O. V. и др.
  • 2014 год

К проблеме оценки надежности сложных программных систем

  • Царев Р. Ю. и др.
  • 2015 год
Метод и система дляинформационнойподдержки пациента -больного сахарнымдиабетом Пустозеров Е. А.Юлдашев Зафар Мухамедович2013 год

Метод и система для информационной поддержки пациента - больного сахарным диабетом

  • Пустозеров Е. А. и др.
  • 2013 год
Параллельные схемыалгоритмовавтоматическогодоказательства теоремв исчислениипозитивно-образованных формул Ларионов А. А.Черкашин Е. А.2012 год

Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно…

  • Ларионов А. А. и др.
  • 2012 год

Методы и модели исследования сложных систем и обработки больших данных

  • Парамонов И. Ю. и др.
  • 2024 год
Метод функциональногосинтезаинформационно-обучающих систем поиска иустранениянеисправностей врадиоэлектронных… Мистров Л. Е.Белоцерковский О. А.2018 год

Метод функционального синтеза информационно-обучающих систем поиска и устранения неисправностей в…

  • Мистров Л. Е. и др.
  • 2018 год