Pages that link to "Item:Q1776581"
From MaRDI portal
The following pages link to Live and let die: LSC based verification of UML models (Q1776581):
Displaying 4 items.
- Transformation and verification of executable UML models (Q2847424) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308395) (← links)
- Formal Methods for Components and Objects (Q5897125) (← links)