Pages that link to "Item:Q5313004"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5313004):
Displaying 6 items.
- Specification diagrams for actor systems (Q1870297) (← links)
- Semantic specification and verification of data flow diagrams (Q2277862) (← links)
- (Q2753897) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- (Q4222940) (← links)
- Diagrammatic specifications (Q4811557) (← links)