Сортировать по:
Выпуск | Название | |
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
"... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов. ..." | ||
Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
"... Магазинные автоматы с независимыми счётчиками (МПНС) объединяют возможности МП-автоматов и сетей ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..." | ||
1 - 4 из 4 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)