Pages that link to "Item:Q682361"
From MaRDI portal
The following pages link to A formal verification technique for behavioural model-to-model transformations (Q682361):
Displaying 8 items.
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Verification of compliance for multilevel models in individual trace semantics (Q2064403) (← links)
- Verification of system level model transformations (Q2506292) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- (Q4549385) (← links)
- (Q5119395) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)