A development technique and formalization means for functional specifications of systems and devices
Gespeichert in:
| Datum: | 2016 |
|---|---|
| Hauptverfasser: | A. B. Godlevskij, N. M. Mishchenko, M. K. Morokhovets, O. D. Felizhanko, N. N. Shchegoleva |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
2016
|
| Schriftenreihe: | Cybernetics and Systems Analysis |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000553516 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
-
New functionalities of the system for natural-language specifications processing and its operating environment
von: N. M. Mishchenko, et al.
Veröffentlicht: (2018) -
Cyber-physical systems: Linguistic aspect
von: A. B. Godlevskij, et al.
Veröffentlicht: (2020) -
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
von: Bača, J., et al.
Veröffentlicht: (2004) -
Green’s function formalism for highly correlated systems
von: Mancini, F., et al.
Veröffentlicht: (2006) -
Islamic banks: specifics of their functioning and development
von: S. V. Sember, et al.
Veröffentlicht: (2016)