Pages that link to "Item:Q596479"
From MaRDI portal
The following pages link to Multi-agent systems specification and certification: a situation and state calculus approach (Q596479):
Displaying 4 items.
- Where logic and agents meet (Q657584) (← links)
- A requirement specification language for configuration dynamics of multiagent systems (Q3156904) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Specification and Verification of Multi-agent Systems (Q3576330) (← links)