Formal and operational validation of a bus stop public transport network micro simulation

Pau Fonseca i Casas, Esteve Codina Sancho, Lídia Montero Mercadé, M. Paz Linares, Cristina Montañola-Sales. Formal and operational validation of a bus stop public transport network micro simulation. In Stephen J. Buckley, John A. Miller, editors, Proceedings of the 2014 Winter Simulation Conference, Savannah, GA, USA, December 7-10, 2014. pages 604-615, IEEE/ACM, 2014. [doi]

Authors

Pau Fonseca i Casas

This author has not been identified. Look up 'Pau Fonseca i Casas' in Google

Esteve Codina Sancho

This author has not been identified. Look up 'Esteve Codina Sancho' in Google

Lídia Montero Mercadé

This author has not been identified. Look up 'Lídia Montero Mercadé' in Google

M. Paz Linares

This author has not been identified. Look up 'M. Paz Linares' in Google

Cristina Montañola-Sales

This author has not been identified. Look up 'Cristina Montañola-Sales' in Google