Pages that link to "Item:Q4933285"
From MaRDI portal
The following pages link to On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (Q4933285):
Displaying 5 items.
- Amalgamation of domain specific languages with behaviour (Q347380) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)