Formal verification of negotiation protocols for multi-agent manufacturing systems
W. L. Yeung
| Year of publication: |
2011
|
|---|---|
| Authors: | Yeung, W. L. |
| Published in: |
International journal of production research. - London : Taylor & Francis, ISSN 0020-7543, ZDB-ID 160477-6. - Vol. 49.2011, 12/13 (15/1.6/7.), p. 3669-3690
|
| Subject: | Flexibles Fertigungssystem | Flexible manufacturing system | Agentenbasierte Modellierung | Agent-based modeling | Warteschlangentheorie | Queueing theory | Simulation |
| Extent: | Ill., graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10009152163