Pages that link to "Item:Q688825"
From MaRDI portal
The following pages link to Definition and basic properties of the Deva meta-calculus (Q688825):
Displaying 3 items.
- The generic development language. Presentation and case studies (Q690318) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- DEVS framework for systems development: Unified specification for logical analysis, performance evaluation and implementation (Q2751563) (← links)