Сортировать по:
| Выпуск | Название | |
| Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация похожие документы |
| Б. А. Позин | ||
| "... и совокупной стоимости владения ответственными системами. СОЖЦ в терминах ISO/IEC/IEEE 15288 представляет собой ..." | ||
| Том 30, № 6 (2018) | О представлении модельного времени при помощи механизмов функционального программирования | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов | ||
| "... этом эти техники мало используются при создании систем проектирования и моделирования ответственных ..." | ||
| Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
| "... . Особенно тщательно относятся к требованиям при работе над ответственными системами, использование которых ..." | ||
| Том 32, № 6 (2020) | О разработке Оберон-системы с заданными свойствами эргодичности | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ДАГАЕВ | ||
| "... для критически важных систем в ответственных отраслях. Разработка ПО на основе требований ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО | ||
| "... В статье исследуются проблемы внедрения технологий верификации программных систем ответственного ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Генерация кода исполняемой модели Event-B на языке Python | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН | ||
| "... исходной модели. Прозрачность процесса является важным качеством при работе с ответственными системами ..." | ||
| 1 - 8 из 8 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
