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) -
Islamic banks: specifics of their functioning and development
за авторством: S. V. Sember, та інші
Опубліковано: (2016)