Pages that link to "Item:Q3613065"
From MaRDI portal
The following pages link to Refined Interfaces for Compositional Verification (Q3613065):
Displaying 4 items.
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
