Pages that link to "Item:Q3634732"
From MaRDI portal
The following pages link to Aspect Categories and Classes of Temporal Properties (Q3634732):
Displaying 5 items.
- Aspects preserving properties (Q436364) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
- MRI: Modular reasoning about interference in incremental programming (Q5300700) (← links)
