Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles.

Arnaud Lanoix

Browse the full TASE paper archive.