2017
DOI: 10.1016/j.compeleceng.2017.05.018
|View full text |Cite
|
Sign up to set email alerts
|

Describing correct deployment architectures based on a bigraphical multi-scale modeling approach

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2017
2017
2021
2021

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 17 publications
0
1
0
Order By: Relevance
“…In the second paper, Gassara et al [2] present a formal approach for designing correct deployment architectures using the formal technique of Bigraphs and Bigraphical Reactive Systems. The proposed approach uses an architectural refinement process based on multi-scale modeling, which allows the analysis of the architecture through different abstraction levels.…”
Section: Accepted Papers In This Special Issuementioning
confidence: 99%
“…In the second paper, Gassara et al [2] present a formal approach for designing correct deployment architectures using the formal technique of Bigraphs and Bigraphical Reactive Systems. The proposed approach uses an architectural refinement process based on multi-scale modeling, which allows the analysis of the architecture through different abstraction levels.…”
Section: Accepted Papers In This Special Issuementioning
confidence: 99%