A development technique and formalization means for functional specifications of systems and devices
Saved in:
| Date: | 2016 |
|---|---|
| Main Authors: | A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva |
| Format: | Article |
| Language: | English |
| Published: |
2016
|
| Series: | Cybernetics and Systems Analysis |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000553516 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
-
New functionalities of the system for natural-language specifications processing and its operating environment
by: N. M. Mishchenko, et al.
Published: (2018) -
Cyber-physical systems: Linguistic aspect
by: A. B. Godlevskij, et al.
Published: (2020) -
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004) -
Green’s function formalism for highly correlated systems
by: Mancini, F., et al.
Published: (2006) -
Islamic banks: specifics of their functioning and development
by: S. V. Sember, et al.
Published: (2016)