A development technique and formalization means for functional specifications of systems and devices
Збережено в:
Дата: | 2016 |
---|---|
Автори: | A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
2016
|
Назва видання: | Cybernetics and Systems Analysis |
Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0000553516 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
New functionalities of the system for natural-language specifications processing and its operating environment
за авторством: N. M. Mishchenko, та інші
Опубліковано: (2018) -
Cyber-physical systems: Linguistic aspect
за авторством: A. B. Godlevskij, та інші
Опубліковано: (2020) -
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004) -
Green’s function formalism for highly correlated systems
за авторством: Mancini, F., та інші
Опубліковано: (2006) -
Some Means of Processing Electronic Text Documents
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2021)