![](/img/cover-not-exists.png)
[IEEE 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE) - Nanjing, China (2008.06.17-2008.06.19)] 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering - Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Lanoix, ArnaudYear:
2008
Language:
english
DOI:
10.1109/TASE.2008.39
File:
PDF, 3.83 MB
english, 2008