Сортировать по:
Выпуск | Название | |
Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
В. И. Шелехов | ||
"... Дедуктивная верификация и синтез программ двоичного сложения проводятся на базе системы правил ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... разрабатываемого программного обеспечения и гарантировать соответствие задаваемой спецификации. Предлагаемая ..." | ||
Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... распространяется на случай (слабой) симуляции, основанной на соответствии состояний реализации и спецификации ..." | ||
Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
М. К. Валиев, М. И. Дехтярь | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
"... Представлена расширяемая мультиязыковая система анализа и верификации СПЕКТР, разрабатываемая в ..." | ||
Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
Том 17, № 2 (2010) | Аспекты практической реализации протокола ARTCP на ядре Linux 2.6 | Аннотация PDF (Rus) похожие документы |
И. В. Алексеев, С. А. Меркулов, А. А. Сивов | ||
"... Уточняется формат заголовка ARTCP и описывается алгоритм установки ARTCP соединения. Рассмотрены ..." | ||
Том 17, № 1 (2010) | Тезаурус как инструмент поэтологии | Аннотация PDF (Rus) похожие документы |
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев | ||
"... всестороннее теоретическое и историческое изучение поэзии. Этот тезаурус мыслится как предметно-ориентированный ..." | ||
1 - 10 из 10 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)