Pages that link to "Item:Q5044736"
From MaRDI portal
The following pages link to A general framework for modular implementations of modular system specifications (Q5044736):
Displaying 10 items.
- On the correctness of modular systems (Q674009) (← links)
- Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- A methodology for the modular structure planning of product-service systems (Q2160670) (← links)
- A framework based on implementation relations for implementing LOTOS specifications (Q4697196) (← links)
- (Q4738311) (← links)
- (Q4934620) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)