Pages that link to "Item:Q5039511"
From MaRDI portal
The following pages link to Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511):
Displaying 8 items.
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Computing Parameterized Invariants of Parameterized Petri Nets (Q5044400) (← links)
- Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure (Q5919501) (← links)
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401) (← links)
