Arnaud Lanoix
2
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
|
Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooningV2CS : First International workshop on Verification and Validation of multi-agent models for complex systems, Nov 2011, France. 15 p
Communication dans un congrès
hal-00663353v1
|
|
Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems[Research Report] RR-6304, INRIA. 2007, pp.18
Rapport
inria-00173876v2
|