Baudouin Dafflon, Madeleine El-Zaher. An agile development method for platoon system based on verification and validation. In 10th International Conference on Software, Knowledge, Information Management & Applications, SKIMA 2016, Chengdu, China, December 15-17, 2016. pages 376-381, IEEE, 2016. [doi]
Abstract is missing.