Электронная библиотека. Категория: физико-математические науки (стр.38)
| Название: | Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV - execution semantics | 
|
| Автор ПГУ: | Дубинин Виктор Николаевич  | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal modelling of distributed automation CPS with CP-agnostic software |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Монография, изданная зарубежными издательствами (наличие ISBN) | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal transformation inhibitory safe Petri nets into equivalent not inhibitory |
|
| Автор ПГУ: | Синев Михаил Петрович Коннов Николай Николаевич Пащенко Дмитрий Владимирович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal verification of cyber-physical automation systems modelled with timed block diagrams |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич Дубинин Виктор Николаевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV-Modelling |
|
| Автор ПГУ: | Дубинин Виктор Николаевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formal verification of protection functions for power distribution networks |
|
| Автор ПГУ: | Дроздов Дмитрий Николаевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2018 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized description of cyber-physical systems models using temporary non-deterministic automata |
|
| Автор ПГУ: | Митрохин Максим Александрович Гурин Евгений Иванович Синев Михаил Петрович Дмитрий Анатольевич Шутова Валерия Сергеевна Забродина Ксения Андреевна Веселова Марина Дмитриевна Пащенко Татьяна Юрьевна | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2021 | |
| Дата загрузки: | 30.11.2021 | |
| Издательство: | ACADEMIC PUBLICATIONS, LTD.; HTTPS://IJPAM.EU | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formalized Description of Message Encryption in Messaging Apps Using Automata Theory |
|
| Автор ПГУ: | Пащенко Дмитрий Владимирович Мартышкин Алексей Иванович Синев Михаил Петрович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 01.06.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation and study of the properties of finishing coatings of a circuit board with tin–zinc alloy instead of tin–lead alloy coatings |
|
| Автор ПГУ: | Киреев Сергей Юрьевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation of ceramic MAO-coatings on details from aluminum alloys in solutions with dispersed phase of corundum |
|
| Автор ПГУ: | Чуфистов Евгений Алексеевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 29.11.2020 | |
| Издательство: | Elsevier | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation of structure and properties of coatings deposited by microarc oxidizing on parts fabricated from aluminum alloys |
|
| Автор ПГУ: | Казанцев Игорь Алексеевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2000 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation of the porous structure of material surface using the method of laser processing |
|
| Автор ПГУ: | Янкина Наталья Николаевна Геращенко Сергей Иванович Митрошин Александр Николаевич Геращенко Сергей Михайлович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2015 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Formation peculiarities of silver dendritic structures for photocatalysts of the visible radiation range |
|
| Автор ПГУ: | Аверин Игорь Александрович Карманов Андрей Андреевич Якушова Надежда Дмитриевна Пронин Игорь Александрович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2019 | |
| Дата загрузки: | 03.02.2020 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Forms and concentration of adsorbed oxygen on the modified surface of SnO |
|
| Автор ПГУ: | Аверин Игорь Александрович Пронин Игорь Александрович Карманов Андрей Андреевич Якушова Надежда Дмитриевна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2019 | |
| Дата загрузки: | 13.11.2019 | |
| Издательство: | IOP Conference Series | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Forty years of studying angiotensin-converting enzyme: problems and accomplishments |
|
| Автор ПГУ: | Вернигора Александр Николаевич | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Обзор | |
| Дата издания: | 1998 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Foundations of Numerical Simulation and Design of Electrodynamic Devices for the Creation and Disintegration of Water-Oil Emulsions |
|
| Автор ПГУ: | Таранцев Константин Валентинович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2017 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Fractal analyses of porous sol-gel nanocomposites modified by fullerenol C |
|
| Автор ПГУ: | Пронин Игорь Александрович Аверин Игорь Александрович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2016 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Fractally aggregated micro- and nanosystems synthesized from sols |
|
| Автор ПГУ: | Пронин Игорь Александрович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2014 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||
| Название: | Frequency Converters for the Terahertz and Infrared Ranges Based on Two-Dimensionally Periodic Graphene Gratings |
|
| Автор ПГУ: | Александр Михайлович Макеева Галина Степановна | |
| Вид ресурса: | электронная копия бумажного издания | |
| Тип ресурса: | Статья | |
| Целевое назначение: | Научное | |
| Целевая аудитория: | Исследователь | |
| Дата издания: | 2023 | |
| Дата загрузки: | 27.09.2023 | |
| Издательство: | Pleiades Publishing, USA | |
| Название: | Frequency strain gage transducers with constant supply voltage of the measuring circuit |
|
| Автор ПГУ: | Громков Николай Валентинович | |
| Вид ресурса: | электронное немультимедийное издание | |
| Тип ресурса: | Статья | |
| Дата издания: | 2008 | |
| Дата загрузки: | 06.11.2019 | |
|
ИР получен из базы данных "Scopus" автоматически
| ||