2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT) 2018
DOI: 10.1109/dessert.2018.8409175
|View full text |Cite
|
Sign up to set email alerts
|

Formal transformations of structural models of complex network systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
0
0
2

Year Published

2018
2018
2023
2023

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(2 citation statements)
references
References 8 publications
0
0
0
2
Order By: Relevance
“…Згідно з припущенням, що кожному вхідному контакту Хi (j) відповідає не більше ніж один вихідний контакт Yl (k) , вводиться однозначний оператор [10]:…”
Section: формальний опис агрегації структурної моделі системиunclassified
See 1 more Smart Citation
“…Згідно з припущенням, що кожному вхідному контакту Хi (j) відповідає не більше ніж один вихідний контакт Yl (k) , вводиться однозначний оператор [10]:…”
Section: формальний опис агрегації структурної моделі системиunclassified
“…На другому кроці кожному Xl (j) ставиться у відповідність пара фіктивних контактів, які потім нумеруються з використанням операторів ( 9), (10).…”
Section: таблиця 2 -таблиця нумерації фіктивних контактів підсистеми ...unclassified