Pages that link to "Item:Q3508535"
From MaRDI portal
The following pages link to Formal Specification of Multi-agent Systems by Using EUSMs (Q3508535):
Displaying 6 items.
- Formal specification of multi-agent e-barter systems (Q2485279) (← links)
- FSP and FLTL framework for specification and verification of middle-agents (Q3016270) (← links)
- A requirement specification language for configuration dynamics of multiagent systems (Q3156904) (← links)
- Executable specification of open multi-agent systems (Q3550952) (← links)
- Specification and Verification of Multi-agent Systems (Q3576330) (← links)
- Objects, Agents, and Features (Q5713983) (← links)