Pages that link to "Item:Q2063102"
From MaRDI portal
The following pages link to Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102):
Displaying 5 items.
- Formal modeling of evolving self-adaptive systems (Q1951611) (← links)
- Formal specification and verification of dynamic parametrized architectures (Q2024379) (← links)
- Using abstraction in modular verification of synchronous adaptive systems (Q2917404) (← links)
- Coordination Models and Languages (Q5717730) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)