The following pages link to (Q3996918):
Displaying 5 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Property transformation under specification change (Q352027) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Refinement for user interface designs (Q1047216) (← links)
- An Introduction to Grammar Convergence (Q3605471) (← links)