Сортировать по:
| Выпуск | Название | |
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... Mathematical models of distributed computations, based on the calculus of mobile processes (π ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... . It was previously proven that any formula of the classical first-order predicate calculus can be represented ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... on infinite sequences, and so, traditional applied temporal logics (like HML, LTL, CTL, mu-calculus ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... The paper deals with an expressive logic language LF and its calculus. Formulas of this language ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... automatically using the general model. A system operation trace, which is necessary for checking ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... specify networks of parallel compositions of the processes. The method is based on model checking ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... ] for their verification by the model checking method with respect to properties expressed in mu-calculus. Application ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| "... This paper presents the ontology of the concurrent processes close to Hoare communicating ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... of such programs can be reduced to minimization and equivalence checking problems for finite state transducers ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... provide representation of parallel computation branches as migratory processes, their initial distribution ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Sequential reactive systems are computer programs or hardware devices which process the flows ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... is to develop a uniform technique for building polynomial-time equivalence checking algorithms for some classes ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... The process-oriented programming is a paradigm based on the process concept where each process ..." | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... processes based on DLSs, must be verifiable as well. In this paper, we describe an ongoing industrial ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... checking as well. To succeed in this we incorporate the operations over the extended state space ..." | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... the Hoar concept of communicating sequential processes to the computation control on the data readiness ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... of the model checking method to find the optimal tuning parameters by the method of counterexamples. In our ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... evaluate the usability of the model checking method for the analysis of program correctness with respect ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... A new data structure is suggested for symbolic model checking of distributed systems defined ..." | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... мелких ЦОДов, образующих инфраструктуру для облачных вычислений. Эта смена объективна. Её актуальность ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... and translation were worked out: for verification, the model checking tool nuXmv is used, and the translation ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... , introduced in the calculus, correspond to various concepts inherent in verification conditions (VC ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the proof is authored in a classical sequent calculus framework and a successful proof requires from ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... determines the system termination. In our approach, the model checking tool SPIN is used. The protocols ..." | ||
| Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... We investigate a model checking problem for the logic of common knowledge and fixpoints µPLCn ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... We consider a problem of integrating a formal method of verification (model checking ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... of these methods focus on checking isolated process instances, neglecting interaction between instances in a system ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... to the problem of reproducibility and formalization of the microtask crowdsourcing process. A computational model ..." | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... непосредственное их вычисление. Функция (fin L_p[I], ;p>0,) (при (p=infty) рассматриваются измеримые ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... review some recent extensions of the proof calculus applied by KeYmaeraX that make formal proofs ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... in recent years in the context of bounded model checking to do function summarization which allows one ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... -checking problems for SDN. ..." | ||
| Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
| А. К. Бегичева, И. А. Ломазова | ||
| "... checking. Conformance checking is intensively studied in the frame of process mining research, but only ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... This paper uses the model checking method for an exact schedulability test of real-time systems ..." | ||
| Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... Мы предлагаем один новый подход к проблеме вычисления объемов тел в пространстве Лобачевского и ..." | ||
| Том 17, № 2 (2010) | Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования | Аннотация PDF (Rus) похожие документы |
| Г. А. Тарнавский | ||
| "... На базе Центра компьютерного моделирования кратко представлена концепция облачных вычислений в ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| Том 21, № 4 (2014) | Устойчивость в задаче поиска минимального разреза в графе | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Козлов | ||
| "... a polynomial algorithm for calculating the stability radius and a simple criterion for checking n-stability ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... Transition Systems opens up the possibility of adapting well known real-time model checking techniques ..." | ||
| Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
| Камаридин Тухлиев | ||
| "... .М. Никольского для приближенного вычисления криволинейных интегралов первого рода на классах дифференцируемых ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... вычислений CUDA NVIDIA. Установлено, что предложенный алгоритм обеспечивает экономию вычислительных ресурсов ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... be directly verified by using a model checking tool. Next, according to the LTL-specification, the program ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... for compliance with specified temporal properties by the model checking method using the nuXmv symbolic ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... through their formal verification. A common formal method for verifying CrP is model checking ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... into programs in HDL languages that support the design process of digital chips are presented. The principles ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... . A parallel program is modeled as a distributed process in which sequential processes communicate ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| Том 22, № 2 (2015) | Кэширование запросов к реляционной базе данных с использованием областей истинности | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Мосин, Сергей Владимирович Зыкин | ||
| "... , this form allows us to analyze query correctness by checking lossless join property. A subsequent query may ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... papers, we considered a model checking problem for LP-LT L and LP-CT L and showed that this problem has ..." | ||
| Том 28, № 2 (2021) | Вычислительный анализ количественных характеристик некоторых аппроксимационных свойств разрешимых групп Баумслага-Солитэра | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... investigate the dependence of the value $f_{k}(50000)$ on $k$ and propose an effective algorithm for checking ..." | ||
| Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... over the string of symbols. The rules of the sequential, branching and cyclic processes encoding ..." | ||
| Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
| А. М. Цирлин | ||
| "... In this paper we consider optimal trading processes in economic systems. The analysis is based ..." | ||
| Том 22, № 3 (2015) | АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| "... probabilistic. We show how such systems can be polynomially transformed to ¯nite state Markov decision processes ..." | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... verification for checking automaton programs. An Esterel language and an Esterel Technologies Inc. toolbox ..." | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| "... bots that automate various business processes or provide information services. In this paper, we ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... by the model checking method. The model checking method needs to construct a finite model of a PLC program ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... by the model checking method. The linear temporal logic LTL is used as a language of specification ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... -program correctness analysis by the model checking method. For the specification of the program behavior ..." | ||
| Том 16, № 3 (2009) | Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии | Аннотация PDF (Rus) похожие документы |
| К. В. Корнилов | ||
| "... Рассмотрена задача вычисления периода решения уравнения, описывающего модель импульсного нейрона ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... . The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... -specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... цикла, применительно к функционально-потоковой модели параллельных вычислений, реализованной в языке ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML ..." | ||
| 1 - 75 из 171 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
