conftrace_

requirement pattern

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

interaction protocol (1) multi-agent system (1) protocol verification (1) asynchronous communication (1) formal specification (1)

Papers

Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025