Pages that link to "Item:Q2291825"
From MaRDI portal
The following pages link to A formal approach to the engineering of domain-specific distributed systems (Q2291825):
Displaying 6 items.
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Design of a multi-formalism application and distribution in a data-flow context: An example (Q2758308) (← links)
- (Q3169433) (← links)
- (Q4023311) (← links)
- (Q4737568) (← links)
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study (Q5949548) (← links)